Revision ac1d43e446ed0a0ed04ccde443efdaff3213fb58

Committed on 11/10/2018 1:28 pm by Tim Weber <scy@scy.name> [GitHub Diff]

Fix type in an annotation