Maxim Orlov Wed, 06 Jul 2022 06:05:36 -0700
Hi! This is an obvious change, I totally for it. Hope it will be commited soon.
-- Best regards, Maxim Orlov.