bazel: add gnu.org mirror #25

Merged
lsjostro merged 1 commit from dln/push-vzrrsnwtrzwm into lsjostro/push-ywztpsytzwpq 2025-11-22 14:23:29 +01:00
Owner

gnu.org was down, so added a mirror

gnu.org was down, so added a mirror
lsjostro merged commit 003961011f into lsjostro/push-ywztpsytzwpq 2025-11-22 14:23:29 +01:00
dln deleted branch dln/push-vzrrsnwtrzwm 2025-11-22 15:00:57 +01:00
Sign in to join this conversation.
No description provided.