I guess most people that might ACK this change are well aware of the reasons behind it. Thanks in advance. :)
<li>Christian Hofstaedtler</li>
<li>Christoph Biedl</li>
<li>Eduard Bloch</li>
<li>Christian Hofstaedtler</li>
<li>Christoph Biedl</li>
<li>Eduard Bloch</li>
- <li>Gerfried Fuchs</li>
<li>Gregor Perner</li>
<li>Jan-Pieter Jacobs</li>
<li>Jens Kubieziel</li>
<li>Gregor Perner</li>
<li>Jan-Pieter Jacobs</li>
<li>Jens Kubieziel</li>