Skip to content

Conversation

@rmkaplan
Copy link
Contributor

I have this one in my working directory, and it seems to be bigger than the one in the repo and its previous version is later than the version in the repo. Maybe this is better? I putting this out as a draft for people to look at.

I have this one in my working directory, and it seems to be bigger than the one in the repo and its previous version is later than the version in the repo.  Maybe this is better?  I putting this out as a draft for people to look at.
@masinter masinter marked this pull request as ready for review July 21, 2022 06:35
Copy link
Member

@masinter masinter left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

yes, this is newer and much more complete

@masinter masinter merged commit 2b1d39b into master Jul 21, 2022
@masinter masinter deleted the rmk59--MAIKOCOLOR branch July 22, 2022 19:00
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