Merge remote-tracking branch 'origin/github/pr/9'
authorMichael Prokop <mika@grml.org>
Fri, 31 Jan 2020 17:04:27 +0000 (18:04 +0100)
committerMichael Prokop <mika@grml.org>
Fri, 31 Jan 2020 17:04:27 +0000 (18:04 +0100)
commit5f90451e9587643490b49aa1ce889c37cb75f338
tree4a7c8d59fbe6f4ba953cec8fa608e77335339963
parentb6bcfbeb04e3a30513a7ecaf512bf880420ed43c
parentf2ea85179d7a19545b958f394cc752477af9d162
Merge remote-tracking branch 'origin/github/pr/9'