* Matthias Kilian [2005-12-21]: > [cc'd to ports@ for discussion -- I'm not sure wether manual section > patches in ports are worth the work]
Seeing that we committers fail to keep up with new port submissions and sometimes even updates, I consider this kind of patches useless noise atm. Nikolay
