Closed jeremyevans closed 2 years ago
@jeremyevans friendly ping, do you have a plan to merge this? Or would I take over?
@jeremyevans friendly ping, do you have a plan to merge this? Or would I take over?
I thought @akr would review it, since he is supposedly the maintainer. However, since it's been about a year and that hasn't happened, I'll merge this.
Implements [Feature #17524]