Revision 9fd2d48b75b8dc419232bafca47e5bf8fb28222b

Committed on 03/02/2019 9:51 pm by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

Add missing type annotations