11 Jun
2012
11 Jun
'12
9: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