Skip to content

Conversation

@dsmilkov
Copy link
Contributor

@dsmilkov dsmilkov commented Nov 22, 2019

FEATURE


This change is Reviewable

@dsmilkov dsmilkov merged commit 80cef0f into master Nov 22, 2019
@dsmilkov dsmilkov deleted the floordiv branch November 22, 2019 19:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants