22 Jun
2020
22 Jun
'20
3:11 p.m.
On Fri, 12 Jun 2020, Mark Hills wrote:
I've been running these patches in some form for a while. Now tidied up for RFC.
It's quite possible I misinterpreted something; the behaviours seem to be quite long-standing, hence a first pass for comments.
[...]
Jaroslav, I sent these patches over for RFC. No feedback came, so I'll follow this email with them as PATCH with sign-off.
The only changes are a tiny rewording to commit messages.
Please let me know of anything that prevents their inclusion and I'll work on it.
--
Mark