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.

Sign up for GitHub

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

Jump to bottom

fixed a subtle bug with Node fetch and Object role initialization #802

Merged

cyrush merged 1 commit into develop from bugfix/2021_07_no_crazy_town

Jul 23, 2021

Member

cyrush commented Jul 22, 2021

No description provided.


          fixed a subtle bug with Node fetch and Object role initialization

72155c0

cyrush added the bug label

cyrush added this to the 0.8.0 milestone

coveralls commented Jul 23, 2021

Coverage remained the same at 86.352% when pulling 72155c0 on bugfix/2021_07_no_crazy_town into 571c8c2 on develop.

cyrush merged commit cce5e88 into develop

cyrush deleted the bugfix/2021_07_no_crazy_town branch

July 23, 2021 14:36

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment