Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

Fix matching length in matching_words #280

Merged
merged 1 commit into from
Jul 1, 2021
Merged

Fix matching length in matching_words #280

merged 1 commit into from
Jul 1, 2021

Conversation

ManyTheFish
Copy link
Member

@ManyTheFish ManyTheFish requested review from irevoire and Kerollmops and removed request for irevoire July 1, 2021 17:04
Kerollmops
Kerollmops approved these changes Jul 1, 2021
View reviewed changes
Copy link
Member

@Kerollmops Kerollmops left a comment

Choose a reason for hiding this comment

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

bors merge

@bors
Copy link
Contributor

bors bot commented Jul 1, 2021

Build succeeded:

@bors bors bot merged commit d7bc6a6 into main Jul 1, 2021
@bors bors bot deleted the fix-matching-lenght branch July 1, 2021 19:14
@Kerollmops Kerollmops changed the title Fix matching lenghth in matching_words Fix matching length in matching_words Jul 1, 2021
@qdequele qdequele mentioned this pull request Jul 13, 2021
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@Kerollmops Kerollmops Kerollmops approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@ManyTheFish @Kerollmops