Merge pull request #3150 from groni/master

minuet rebuild again
This commit is contained in:
groni
2017-03-09 16:47:18 +01:00
committed by GitHub
+1 -1
View File
@@ -79,7 +79,7 @@
<History>
<Update release="5">
<Date>2017-03-08</Date>
<Date>2017-03-09</Date>
<Version>16.12.0</Version>
<Comment>Rebuild for new Toolchain.</Comment>
<Name>Stefan Gronewold(groni)</Name>