On Tue, 4 Nov 2008, Akim Demaille wrote: > > Alternatively, we could just formally deprecate it in NEWS now and then > > drop support as soon as it gets in the way of other languages. > > NEWS should warn about this now.
I didn't find it... except for --yacc. Maybe I missed it. Or are you agreeing that we should add it? > > I'll wait until we've settled this before pushing this fix to master. > > AFAIC, you can do it now. OK, I pushed it.