Joerg Sonnenberger <jo...@britannica.bec.de> writes: >> 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.
Done. kern/49711. -tih -- Popularity is the hallmark of mediocrity. --Niles Crane, "Frasier"
