Merge branch 'master' of mjesec.ffzg.hr:/git/eg5120
authorDobrica Pavlinusic <dpavlin@rot13.org>
Sun, 9 Jul 2023 11:06:04 +0000 (13:06 +0200)
committerDobrica Pavlinusic <dpavlin@rot13.org>
Sun, 9 Jul 2023 11:06:04 +0000 (13:06 +0200)

Trivial merge