On 1/1/21 2:00 PM, Karl Berry wrote:
In any case ... I think it's (well past) time for me to bow out of doing these updates. I gather you're dealing with it anyway, so will you take over the commits?
I can do it, although it's better if multiple people do it. I don't sync as often as you do; perhaps you could just scale back a bit?
