summaryrefslogtreecommitdiff
tag nameRELEASE_1_3_1 (eec29b862944b11c022bb4bce9406c2109c51096)
tag date2013-11-20 12:59:59 +0100
tagged byGerd Eist <erdgeist@erdgeist.org>
tagged objectcommit f17039a851...
RELEASE_1_3_1