Merge remote-tracking branch 'origin/github/pr/100'
authorMichael Prokop <mika@grml.org>
Thu, 28 May 2020 09:32:23 +0000 (11:32 +0200)
committerMichael Prokop <mika@grml.org>
Thu, 28 May 2020 09:32:23 +0000 (11:32 +0200)
commit91376e3f72889f1c0827af339e7981b9a89d9aed
tree7bcb4ace1d97bae53628ddce25c9cf6ba59869df
parent6aef288c003af51e9d729610536d43ab1540480e
parent41249966740c33a591b9dcc14edc37ddaa595bb6
Merge remote-tracking branch 'origin/github/pr/100'