"Christopher M. Miles" <numbch...@gmail.com> writes:

> I agree this change too. This is more clear.

Applied on main as 52be6f0f4, thanks.

-- 
 Bastien

Reply via email to