Merge pull request #3227 from groni/master

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