Skip to content

Conversation

@czurnieden
Copy link
Contributor

Attended the undeservedly neglected bit-banger division.

@minad minad self-requested a review October 20, 2019 07:12
@minad minad added the finished label Oct 20, 2019
@minad
Copy link
Member

minad commented Oct 20, 2019

Could you add this to #370 instead?

@minad minad closed this Oct 20, 2019
@czurnieden
Copy link
Contributor Author

Could you add this to #370 instead?

At one time you insist on sliceing the PR and here you insist on combining them.
You're killing me.
*sigh*

No, just kidding, I've put it already in #370 this morning, this PR was an excerpt because I thought you want those PRs individually.

@sjaeckel sjaeckel removed the finished label Oct 24, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants