From 14f1ae30d9976dec9fd96c36a81718f3fa5de1dc Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Mon, 12 Dec 2011 18:54:12 +0100
Subject: [PATCH] Added tag RELEASE_0_1_2 for changeset 6f9411017d40

---
 .hgtags | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.hgtags b/.hgtags
index eab5c6d..e973c54 100644
--- a/.hgtags
+++ b/.hgtags
@@ -1,2 +1,3 @@
 5a59078a92fab9f4dc352c2be0466eef4e10ef4a RELEASE_0_1_0
 111616eb561ad7b0ad63d1fa4a13e2870d044dc6 RELEASE_0_1_1
+6f9411017d40a7a193627b773b6d828a85cf0ec1 RELEASE_0_1_2
-- 
2.30.2