Oskar Thoren 0ad29ed164
Fix merge-pr script so it runs as bash
As opposed to wannabe POSIX with bashisms. Makes it run reliably on most user
systems (Mac/Linux)
2017-12-15 11:01:39 +01:00
..
2017-12-12 09:05:18 +01:00
2017-12-12 09:05:18 +01:00
2017-12-12 09:05:18 +01:00
2017-12-12 09:05:18 +01:00
2017-12-08 18:26:01 +01:00