Skip to content

This changes igi.ini to ig.ini#779

Merged
cmoesel merged 2 commits intomasterfrom
fix-igi-typo
Mar 16, 2021
Merged

This changes igi.ini to ig.ini#779
cmoesel merged 2 commits intomasterfrom
fix-igi-typo

Conversation

@ngfreiter
Copy link
Contributor

@ngfreiter ngfreiter commented Mar 16, 2021

This fixes a typo in one of our errors. I jumped on this in my ongoing quest for smallest PR. I don't know how you beat 1 single character removal.

@cmoesel
Copy link
Member

cmoesel commented Mar 16, 2021

I jumped on this in my ongoing quest for smallest PR. I don't know how you beat 1 single character removal.

@ngfreiter -- Can we meet to discuss this? I fear this quest may be more complicated than you realize and would like to discuss the many implications therein.

@ngfreiter
Copy link
Contributor Author

Mission failed. I'll be back. But for now I think 46137b5 should fix another bug.

Copy link
Member

@cmoesel cmoesel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks great, @ngfreiter. Sorry you didn't capture the smallest PR this time. But maybe next time.

@cmoesel cmoesel merged commit 599a1b8 into master Mar 16, 2021
@cmoesel cmoesel deleted the fix-igi-typo branch March 16, 2021 17:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants