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-cont...@ntg.nl? --Sietse _______________________________________________ dev-context mailing list dev-context@ntg.nl http://www.ntg.nl/mailman/listinfo/dev-context