On Mon, Mar 02, 2015 at 01:50:34PM +0100, Tom Ivar Helbekkmo wrote: > Joerg Sonnenberger <jo...@britannica.bec.de> writes: > > > Just in case others run into it, you can put the patch you are running > > into GNATS? > > Yes, of course. Should I submit it as a bug report with a known > workaround, and then you (or someone) close it as a "won't fix", > thus leaving it saved and searchable?
Yeah, that was the idea. Joerg
