Closed Googulator closed 6 months ago
Woohoo! Round numbered PR! :)
Just to clarify: this fixes an issue revealed by #386, but is in no way dependent on it; the issue was just hidden without #386.
Maybe let's see if we can get a new tag in the near future, so that we don't need to carry an extra patch.
Given that we're using a version that's already missing some fixes present in the upstream tree, where the last commit was over a year ago, I wouldn't hold my breath.
Oh, that's a patch for autogen, not for gnu-autogen-bootstrap. That's fine then.
It is for autogen-bootstrap. However, autogen-bootstrap seems to be largely unmaintained - and we aren't even using its latest version today, probably because the newer changes break something for our uses.
See https://github.com/schierlm/gnu-autogen-bootstrapping/pull/14
Fixes #399