Revision 746f90f54e0b0242bb2c9c822d4cec0bfbc1546b

Committed on 21/02/2023 11:10 am by Petar Å panja <petar@spanja.info> [GitHub Diff]

Improve type hints