Skip to content

Conversation

@minad
Copy link
Member

@minad minad commented Nov 5, 2019

I missed this when I did the renamings in #434

@minad minad requested a review from sjaeckel November 5, 2019 17:05
@minad minad added the finished label Nov 5, 2019
@sjaeckel sjaeckel merged commit 7e47ae6 into develop Nov 5, 2019
@sjaeckel sjaeckel deleted the rename-maxfast branch November 5, 2019 19:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants