Skip to content
This repository has been archived by the owner on Apr 30, 2022. It is now read-only.

Fix two small typos. #114

Merged
merged 1 commit into from
Aug 21, 2018
Merged

Fix two small typos. #114

merged 1 commit into from
Aug 21, 2018

Conversation

mbasset
Copy link
Contributor

@mbasset mbasset commented Aug 21, 2018

Fix two small typos in warning messages.

@mbasset mbasset merged commit 1b1d483 into master Aug 21, 2018
@mbasset mbasset deleted the fix-warning-typos branch August 21, 2018 15:00
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants