tree 7feac366245ed6e896a4d519fed2096967980a34
parent 2f8c04c04462ab83c545ab14c0da68c3b4c96191
parent eafcfc3c886f91b229e85db0f14b41de476a52c4
author aiuto <aiuto@google.com> 1662509649 -0400
committer GitHub <noreply@github.com> 1662509649 -0400
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJjF+JRCRBK7hj4Ov3rIwAATPwIAKAbQKd2q0ExFeuqLzB4OaU0
 Ufitbn6bZOZDREWknHpXmqe5YTzO9JsUC0k8YZgvcvDUoO8TLnZmsu/4NKDmY0Ss
 Yand0z/yR9Ayp+6MQ15dNUiEL+Z4pKOZ+dQihZJLIBepVrcxyAJ/7nt8f2apCFej
 q9EbPYRyMFkSgvpUsxiaXRr03e8j2s4UWdRY9H7E/HFMhy+gm/EN8z/FbecLCP/2
 t+yIQ6oGXndeuEfVE8EyG3zkvCP8weAEE7X8QnaShD/GJfTiHzIN8z0awcn09YKe
 sZOLDcna2/DsluQEhXgeK3UXNKXrXUiW85LxfjCQEgcyll7U09QdbckQyvti3sk=
 =jfRD
 -----END PGP SIGNATURE-----
 

Merge pull request #142 from aiuto/upd

Update WORKSPACE to account for bazel_tool//platforms going away.