summaryrefslogtreecommitdiff
tag nameRELEASE_1_3 (98d6acd7732fc9f2c6687e20a914bd7f86a63d85)
tag date2013-11-20 12:59:59 +0100
tagged byGerd Eist <erdgeist@erdgeist.org>
tagged objectcommit 681fd19990...
RELEASE_1_3