# HG changeset patch
# User Thomas De Schampheleire <thomas.de_schampheleire@nokia.com>
# Date 2019-03-31 21:26:35
# Node ID 42383fe2533a0c5d10c81857be0e2b13436236b7
# Parent  ce5b7896d288cd63269ec34baa99defbdc98f863

.hgtags: remove accidental unused double tag of 0.4.0rc1

Initially, when tagging 0.4.0rc1 I made a mistake locally, fixed it, then
stripped the tagging commit, and retagged.
However, it seems something went wrong in this procedure and the original
commit also is shown in .hgtags.

This commit never got pushed, is hidden (obsolete) in my local repository,
so remove the corresponding line in .hgtags to avoid any confusion.

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -69,6 +69,5 @@ cf635c823ea059cc3a1581b82d8672e46b682384
 4cca4cc6a0a97f4c4763317184cd41aca4297630 0.3.5
 082c9b8f0f17bd34740eb90c69bdc4c80d4b5b31 0.3.6
 a18445b85d407294da0b7f1d8be3bedef5ffdea6 0.3.7
-43d472db8c82690ec36bdfc26a985eb0ff726788 0.4.0rc1
 8db761c407685e7b08b800c947890035b0d67025 0.4.0rc1
 60f726162fd6c515bd819feb423be73cad01d7d3 0.4.0rc2