Closed tannewt closed 2 years ago
The problem matcher is versioned separately so we don't need to rev it. Thanks!
Does this actually close #24 not #25? Or does it close both of them? (I'm very new to the actions and was going to suggest closing #24 as well but I don't think I know enough to be confident there)
Fixes #25