From: Ingo Bürk Date: Wed, 27 Sep 2017 19:46:00 +0000 (+0200) Subject: Merge pull request #2995 from orestisf1993/dump-asy-basename X-Git-Tag: 4.15~62 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=9aa016cffd918cb50f76ca3fc33dd98d4a01850c;p=i3%2Fi3 Merge pull request #2995 from orestisf1993/dump-asy-basename dump-asy.pl: use correct tmp dirname instead of hardcoded /tmp --- 9aa016cffd918cb50f76ca3fc33dd98d4a01850c