On Mon, Jun 11, 2012 at 11:46 AM, Sietse Brouwer
Sido wrote:
I had posted a question on stack-exchange and it was suggested to post a bug report here. I’m not sure if this is a bug, but it was unexpected behavior to me.
Wolfgang wrote:
BTW: Please use next time the normal mailing list for such problems and not the developer list.
That was my mistake: I thought it was a bug, and so I advised him to post to dev-context instead of ntg-context. Just to check: is dev-context@ntg.nl also for bug reports, or is it exclusively for development discussions and should (probable) bugs also go on ntg-context@ntg.nl? Lets' say that dev-context@ntg.nl is for developers (features request and bugs) . Features request and bugs from users should be addressed to ntg-context@ntg.nl .
-- luigi