What's going on here?
Closed this issue · 3 comments
YahnisElsts commented
Who knows. Maybe someone had a fork for their own use, and they created a PR by mistake. I'm certainly not planning to merge it.
martynasumb commented
That's what happened, you can delete this PR. I apologize.
YahnisElsts commented
No problem. I don't see an option to completely delete it, but I think it's fine to leave it. I'll just tag it as invalid.