Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

In similar vain to PR61, optimize _notify_backend for Mojo #86

Merged
merged 1 commit into from Jun 30, 2019

Conversation

@ehuelsmann
Copy link
Contributor

ehuelsmann commented Jun 23, 2019

Given the performance benefit, which is only modest when comparing to the other backends' improvements, I originally didn't think I'd submit this PR. However, given that the results for "two" are between 3 and 4 times better, I'm submitting anyway.

@yanick yanick added this to the v1.03 milestone Jun 30, 2019
@yanick

This comment has been minimized.

Copy link
Collaborator

yanick commented Jun 30, 2019

Excellent! Thanks! I'll release an updated release within the next few days.

@yanick yanick merged commit 1c5612a into stevan:master Jun 30, 2019
yanick added a commit that referenced this pull request Jun 30, 2019
 - In similar vain to PR61, optimize _notify_backend for Mojo. (GH#86, Erik Huelsmann)

Fixes #86
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.