Merge remote-tracking branch 'origin/github/pr/15'
authorMichael Prokop <mika@grml.org>
Fri, 8 Sep 2023 07:57:54 +0000 (09:57 +0200)
committerMichael Prokop <mika@grml.org>
Fri, 8 Sep 2023 07:57:54 +0000 (09:57 +0200)
commit55e0d9c03740f19e752fea29ff785b2a6fc522f2
tree71b0e68a81316c47dddfe4a382b4c800cdaf2b98
parent8c499f10caf12cba536520dd4f1f765cb4f1251f
parent27727786137e21043d24471a86673b9cb8294f1c
Merge remote-tracking branch 'origin/github/pr/15'