diff -r 14b43bdace4b -r 070a8c94bfe7 .hgtags --- a/.hgtags Tue May 08 23:33:55 2012 +0200 +++ b/.hgtags Sun Nov 11 21:42:34 2012 +0100 @@ -33,3 +33,4 @@ b005740d1473771dafa21bec70f450e0ae64bc76 crosstool-ng-1.15.0 32abc27a388678c53d0d6f62035cf878d4dec8c3 crosstool-ng-1.15.1 76d84aa2405f23496e17977704c905b872f79416 crosstool-ng-1.15.2 +172b72d597f9083f1aae98b7c482528ef2e41b6a crosstool-ng-1.15.3