# HG changeset patch # User Marcin Kuzminski # Date 2016-05-25 12:19:09 # Node ID 356ca38411c96e399018f9387c3a24cfa50f5235 # Parent 37409a27f83f726ecf1280afa06aa633e75d6ccb # Parent 966e8b79ee68128c6fcd691a27800ef9c588bcc5 merge: merge back stable into default diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -1,1 +1,2 @@ c6fad7d1e61f22b1f4a4863eff207a04c27e9462 v4.0.0 +77b6e243b4cc5b702c15abd6d737798edbac60dc v4.0.1