# HG changeset patch
# User Dirk Olmes <dirk@xanthippe.ping.de>
# Date 1507188668 -7200
# Node ID a8fd9ba4d2bc06545a0c05294a96a8fa3bc98a44
# Parent  abe96094c876674567ad67180b6009a7baa16bbc# Parent  9068de5302cec13d244ee0405a5c6e0fc232af0a
merge with upstram

diff -r 9068de5302ce -r a8fd9ba4d2bc .gitconfig
--- a/.gitconfig	Tue May 23 17:28:03 2017 +0200
+++ b/.gitconfig	Thu Oct 05 09:31:08 2017 +0200
@@ -7,6 +7,7 @@
     rpo = remote prune origin    
     smu = submodule update --recursive --remote
     st = status
+    tags = tag --list --sort=version:refname
     wipe = !git add -A && git commit -qm 'WIPE SAVEPOINT' && git reset HEAD~1 --hard
     wt = worktree