]> mj.ucw.cz Git - misc.git/commitdiff
Merge branch 'master' of git+ssh://git.ucw.cz/home/mj/GIT/misc master
authorMartin Mares <mj@ucw.cz>
Sat, 29 Jan 2022 20:13:07 +0000 (21:13 +0100)
committerMartin Mares <mj@ucw.cz>
Sat, 29 Jan 2022 20:13:07 +0000 (21:13 +0100)

Trivial merge