2012/12/28 Ben Laenen <span dir="ltr"><<a href="mailto:benlaenen@gmail.com" target="_blank">benlaenen@gmail.com</a>></span><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div id=":2l">And of course the wiki isn't exactly the best reference for it :-) The<br>
"definition" has been slowly adjusted on the mailing list for example, but we<br>
can't expect everyone to know the entire history of course...</div></blockquote></div><br><div>Too bad that useful information is more or less kept hidden for others inside country specific mailing lists. If the wiki is no longer a good reference, it should be updated. Volunteers?</div>
<div><br></div>