Skip to content

Conversation

@Lestropie
Copy link
Member

Supersedes #2613.

@Lestropie Lestropie added the bug label May 10, 2023
@Lestropie Lestropie requested a review from jdtournier May 10, 2023 00:44
@Lestropie Lestropie self-assigned this May 10, 2023
Replaces both d5767a7 and ebb35a5.
The latter broke functionality of use of command-line option substrings, as discvered by failing CI in #2629.
@Lestropie Lestropie force-pushed the get_matches_fix_take2 branch from ebb35a5 to 380105f Compare May 10, 2023 08:49
jdtournier
jdtournier previously approved these changes May 10, 2023
@jdtournier jdtournier dismissed their stale review May 10, 2023 11:06

Sorry, too hasty!

@jdtournier jdtournier added this pull request to the merge queue May 15, 2023
Merged via the queue into master with commit a5e5ae8 May 15, 2023
@jdtournier jdtournier deleted the get_matches_fix_take2 branch May 15, 2023 10:27
Lestropie added a commit that referenced this pull request Oct 24, 2023
Replaces both d5767a7 and ebb35a5.
The latter broke functionality of use of command-line option substrings, as discvered by failing CI in #2629.
@Lestropie Lestropie restored the get_matches_fix_take2 branch August 26, 2025 08:11
@Lestropie Lestropie deleted the get_matches_fix_take2 branch August 27, 2025 00:22
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.

3 participants