Hi, Guillaume Le Vaillant <g...@posteo.net> writes:
> Ludovic Courtès <l...@gnu.org> skribis: > >> After a fruitless debugging session with Vagrant on IRC, I opened this >> issue: >> >> https://codeberg.org/Codeberg/Community/issues/1974 >> >> Ludo’. > > Hi. > Gusted's fix worked for me. I can push patches again. It also worked for others apparently. Thanks for confirming! Ludo’.
