31 Mar
2022
31 Mar
'22
5:54 p.m.
Philippe, Chun-Kuang,
I applied this patch without realizing it is outside of my maintainer domain, and caused conflict in dim-tip, which I've resolved. Even with the conflict resolved, I think getting an AB after the fact would be good.
Sorry about the inconvenience.