Paul A. Rubin wrote: > Opinions? IMO this is a bug proper (no enhancement request).
Jürgen
- Enhancement? Documentation issue? Neither? Paul A. Rubin
- Re: Enhancement? Documentation issue? Neither? Jürgen Spitzmüller
- [patch] Re: Enhancement? Documentation issu... Jürgen Spitzmüller
- Re: [patch] Re: Enhancement? Documentat... Jürgen Spitzmüller
- Re: [patch] Re: Enhancement? Docume... Paul A. Rubin
- Re: [patch] Re: Enhancement? Docume... Paul A. Rubin
- Re: [patch] Re: Enhancement? D... Jürgen Spitzmüller
- Re: [patch] Re: Enhancement... Paul A. Rubin
