tree e3061a4c042aac74a92645f3c38eaed88c88352b
parent c87084ba19768f9a05e8a5454458948f68d00cc5
author Florian Loitsch <florian@loitsch.com> 1380391970 +0200
committer Florian Loitsch <florian@loitsch.com> 1380391970 +0200

Fix type.