Hi, Following the conventional switch to name the main development branch `main` instead of `master`, I have deleted the `master` branch which wasn't being automatically kept in sync and could confuse people. Thanks to Bruno Haible for his detailed notes reproducing my problems updating gnulib :)
Andy
