Control: tags -1 + confirmed On 23.12.2012 21:31, Don Armstrong wrote:
In making a fix to the RC bug #684817, I also fixed a problem in disabling optimization when noopt is present, and a patch which fixes an install-info warning which had previously collected.
I'd be okay with accepting those. Please go ahead; thanks. Regards, Adam