build: setup-mes.sh: Cater for Debian/stretch too. Thanks, pdewacht!
authorJan Nieuwenhuizen <janneke@gnu.org>
Tue, 10 Jul 2018 19:57:56 +0000 (21:57 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Thu, 12 Jul 2018 20:30:00 +0000 (22:30 +0200)
commit4003e3b7211559a14a5d8f9fcc2055976f114bc0
treecd8108c7e5b15016662a04d52a1f85585e4a3b48
parentf6d55781744e2aa2506663d87fabbec00094ffbd
build: setup-mes.sh: Cater for Debian/stretch too.  Thanks, pdewacht!

* build-aux/setup-mes.sh: Cater for Debian/stretch too.  Thanks,
  pdewacht!
build-aux/setup-mes.sh