Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@ppannuto
Copy link
Member

@ppannuto ppannuto commented Jul 6, 2018

Pull Request Overview

#1044 and #1064 were ships passing in the night. This fixes master to build again.

For the record, I swear I did not plan this, but this is exactly the problem that #1068 would fix.

Testing Strategy

Compiling.

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • Ran make formatall.

For the record, I swear I did not plan this, but this is exactly the
problem that #1068 would fix.
@ppannuto ppannuto added bug P-Upkeep This a relatively minor change, or one that is limited in scope, and requires less scrutiny. labels Jul 6, 2018
@ppannuto ppannuto mentioned this pull request Jul 6, 2018
2 tasks
@alevy alevy merged commit f695769 into master Jul 6, 2018
@alevy alevy deleted the fix-numcell-ref branch July 6, 2018 05:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug P-Upkeep This a relatively minor change, or one that is limited in scope, and requires less scrutiny.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants