Merge remote-tracking branch 'srht/master'master
commit60d78b8a591f5f044e22d1a8bc63f924817beac8
authorBastien <bzg@gnu.org>
Sat, 25 Sep 2021 09:45:58 +0000 (25 11:45 +0200)
committerBastien <bzg@gnu.org>
Sat, 25 Sep 2021 09:45:58 +0000 (25 11:45 +0200)
tree91f1d78a5d5a659c8ffe61288a4d6b853ccc10b0
parent10e3943808fa2ca30f869e2d8625bef7ce816908
parentf024e5075c899c1c441bb3ccbf284674c91660bb
Merge remote-tracking branch 'srht/master'