Revision 7ef6cfc966d4080ffdd65f56968b748a6185a5fb

Committed on 20/04/2022 7:57 am by Petar Å panja <petar@spanja.info> [GitHub Diff]

Switch to PHP 8.1