Merge pull request #3253 from groni/master

rebuild
This commit is contained in:
groni
2017-03-20 11:39:45 +01:00
committed by GitHub
2 changed files with 2 additions and 2 deletions
+1 -1
View File
@@ -265,7 +265,7 @@
<History>
<Update release="7">
<Date>2017-03-20</Date>
<Date>2017-03-21</Date>
<Version>5.7.1</Version>
<Comment>Rebuild for new Toolchain.</Comment>
<Name>Stefan Gronewold(groni)</Name>
@@ -61,7 +61,7 @@
<History>
<Update release="6">
<Date>2017-02-20</Date>
<Date>2017-02-21</Date>
<Version>5.7.1</Version>
<Comment>Release Bump.</Comment>
<Name>Stefan Gronewold</Name>