Revision 6a1b8ad6bba9e12e6fdf3b83fe6a66579f7a3f01

Committed on 13/02/2020 5:45 am by SpacePossum <possumfromspace@gmail.com> [GitHub Diff]

Fix psalm warning