summaryrefslogtreecommitdiff
tag nameRELEASE_1_2 (6d1fbf0d6c561010419c9446713a46ea1cf20b1c)
tag date2013-11-20 12:59:59 +0100
tagged byGerd Eist <erdgeist@erdgeist.org>
tagged objectcommit 4604263f7d...
RELEASE_1_2