--- a/.hgtags Sat Apr 30 19:09:45 2016 +0200 +++ b/.hgtags Wed May 04 15:11:12 2016 +0200 @@ -1,1 +1,2 @@ 2c07bcf56a36d6e74dc0f5422e89bd61f4d31239 0.8-diverge +1656d4fd71d07aa3a52da89d4daf7723a555e7dd last-google-code-commit