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

Fix problem with add#7 #1373

Merged

mscuthbert merged 1 commit into master from rn_addsharp7

Aug 12, 2022

Member

mscuthbert commented Aug 12, 2022

Fixes #1369


          Fix problem with add#7

3126a67

Fixes #1369

coveralls commented Aug 12, 2022

Coverage decreased (-0.003%) to 93.005% when pulling 3126a67 on rn_addsharp7 into c538fb8 on master.

mscuthbert merged commit 59e1223 into master

mscuthbert deleted the rn_addsharp7 branch

August 12, 2022 06:40

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

Labels

None yet