Hi Michael > Le 23 oct. 2019 à 19:53, Michael Kuhn > <michael.k...@informatik.uni-hamburg.de> a écrit : > > Hi Akim, > > this is in reference to: > https://lists.gnu.org/archive/html/bug-bison/2019-10/msg00044.html > > I am not the original reporter but gave your patch a try since we have > the same problem in Spack: https://github.com/spack/spack/pull/13231 > > The patch fixes the problem for me, so it would be great if it could be > included in the next version. If you have any further questions, please > keep me cc'd since I am not subscribed to the mailing list. Thanks!
Great! I just installed it in master. It will be part of 3.5. Cheers!
