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

[i3/i3] / I3_VERSION

diff --git a/I3_VERSION b/I3_VERSION
index f3d68995f3752dc66edd7b3598d35b4dbb9a444d..af1432e3d06e5aaf78f98be22c9fab9f2329855e 100644 (file)
--- a/I3_VERSION
+++ b/I3_VERSION
@@ -1 +1 @@
-4.12-non-git
+4.14-non-git