dump_selections.sh: use a more robust way to get the window name
authorAntonio Ospite <ao2@ao2.it>
Mon, 19 Jun 2017 14:27:51 +0000 (16:27 +0200)
committerAntonio Ospite <ao2@ao2.it>
Mon, 19 Jun 2017 14:44:13 +0000 (16:44 +0200)

No differences found