upstream/1.13.3

Markus Frosch

@lazyfrosch

8197b777 · Imported Upstream version 1.13.3 · Jul 15, 2015

Upstream version 1.13.3 - fixing missing upstream tag (unsigned)