K 10 svn:author V 5 decke K 8 svn:date V 27 2011-05-27T11:53:41.000000Z K 7 svn:log V 196 - Update to 0.12 - Remove PORTDOCS entries because docs are always disabled PR: ports/154719 Submitted by: Armin Pirkovitsch Approved by: maintainer timeout (3.5 months) END