Revision 4785f08509dbb9ffc14ad98b97f8a115de7b5f48

Committed on 17/04/2020 6:20 am by Petar SÌŒpanja <petar@spanja.info> [GitHub Diff]

Improve type hints