dump-asy.pl: use correct tmp dirname instead of hardcoded /tmp

[i3/i3] / I3_VERSION

diff --git a/I3_VERSION b/I3_VERSION
index 341651a90fa920102036fceae1b1f46852fba01a..af1432e3d06e5aaf78f98be22c9fab9f2329855e 100644 (file)
--- a/I3_VERSION
+++ b/I3_VERSION
@@ -1 +1 @@
-4.13 (2016-11-08)
+4.14-non-git