On Fri, Nov 21, 2008 at 06:39:58AM +0100, W. Martin Borgert wrote:
> Moritz, thanks for the text. There is still some discussion
> about how to handle #502140. Do you think, we should add your
> text anyway? (And we should add a link to that bug, right?)
Steve later wrote that be prefers a programmatic solution, if
that gets implemented we won't need the doc snippet any more.
Cheers,
Moritz