Merge remote-tracking branch 'origin/github/pr/10'
authorMichael Prokop <mika@grml.org>
Sat, 17 Jul 2021 22:30:34 +0000 (00:30 +0200)
committerMichael Prokop <mika@grml.org>
Sat, 17 Jul 2021 22:30:34 +0000 (00:30 +0200)
commit27562cfcaba89409c8fcae3b6fb5b0a773db7c83
tree4a4bc7152ea278ee7607c713001dc52d719e7707
parentf4f470fc86fa06a8fc57d406cf1156f60f171a9f
parent135c83b9b0b3ec7400b762e76e5e5b6d3a35a058
Merge remote-tracking branch 'origin/github/pr/10'