![](https://secure.gravatar.com/avatar/1930c667fbd3884fd581e95eb4d5b15c.jpg?s=120&d=mm&r=g)
11 Jun
2012
11 Jun
'12
3:46 a.m.
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? --Sietse