Merge: Small improvements on the oot.sh script
authorJean Privat <jean@pryen.org>
Fri, 11 May 2018 20:01:18 +0000 (16:01 -0400)
committerJean Privat <jean@pryen.org>
Fri, 11 May 2018 20:01:18 +0000 (16:01 -0400)
Pull-Request: #2676


Trivial merge