Skip to content

Conversation

jhasse
Copy link
Collaborator

@jhasse jhasse commented Apr 27, 2024

see #2428

@jhasse jhasse requested a review from evmar April 27, 2024 15:42
@jhasse jhasse force-pushed the elide-middle-even branch from 6e870a2 to 62328b6 Compare April 27, 2024 15:48
@jhasse jhasse added this to the 1.13.0 milestone Apr 27, 2024
@digit-google
Copy link
Contributor

this looks good to me.

@jhasse jhasse merged commit 4ef30b1 into ninja-build:master Apr 29, 2024
@jhasse jhasse deleted the elide-middle-even branch April 29, 2024 15:10
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.

2 participants