[arccy]

sometimes people have a strong vision for the code they maintain. in those cases they'll usually more happily accept issues, rather than code. but GitHub doesn't let you turn off prs...

[gus_massa]

It's hard to know without looking at the datails, but in this case it would have been nice to add in the commit

> Thanks to @whoever for reporting the bug and providing a fix prototype.

(Probably prototype is not the correct word, but something like that.)

[zahlman]

> (Probably prototype is not the correct word, but something like that.)

"... and suggesting a fix that inspired the actual change."