Merge pull request #658 from AladW/ad/fixes
commitc2a9772f112114c524067072fea436884ebccaea
authorAlad Wenter <AladW@users.noreply.github.com>
Tue, 31 Dec 2019 08:25:26 +0000 (31 09:25 +0100)
committerGitHub <noreply@github.com>
Tue, 31 Dec 2019 08:25:26 +0000 (31 09:25 +0100)
tree06c920f17ab30c88b04d31d8d04b8c7c5f454ded
parent0fb8e29a5fbea3e3aa8960e2efb7583653354888
parent3a5ca2a685c407371b1d815b5e8dc829750101ff
Merge pull request #658 from AladW/ad/fixes

scripts: miscellaneous fixes