@Findus23 opened this Pull Request on December 13th 2018 Member

Quick minor PR for two typos in error messages I stumbled across.

This Pull Request was closed on December 13th 2018
Powered by GitHub Issue Mirror