# HG changeset patch
# User Nenue
# Date 1531942306 14400
# Node ID dee5dd232bcb1917463ec957bf394523442e2bc2
# Parent  414e37af1b1bd5c6f25fb6b5a25a9b25ab63b89d
Added tag v8.0.1-20180718 for changeset 414e37af1b1b

diff -r 414e37af1b1b -r dee5dd232bcb .hgtags
--- a/.hgtags	Wed Jul 18 15:31:15 2018 -0400
+++ b/.hgtags	Wed Jul 18 15:31:46 2018 -0400
@@ -12,3 +12,4 @@
 9f2cf5609420ccbf53a16c886b2f2f599bb8997e v7.3.0-20171022
 15a7f27b11e69ebcdcbdbd6ddd7b33c032642096 v7.3.2-20111027
 86621c60512b396331bd2205b52fb617753ec250 v7.3.2-20171222
+414e37af1b1bd5c6f25fb6b5a25a9b25ab63b89d v8.0.1-20180718