3 commits

Author	SHA1	Message	Date
Gaudenz Alder	85219c4c6b	7.1.2 release ... Former-commit-id: 9e6fda708d	2017-08-16 10:00:56 +02:00
Gaudenz Alder	fcf50cf3ec	7.1.1 release ... Former-commit-id: 38ab575c2b	2017-08-16 08:42:59 +02:00
Gaudenz Alder	b3a060a194	5.6.0.0 release ... Former-commit-id: 648b0f02cb	2016-09-06 16:07:11 +02:00