On Sun, 21 Feb 2021 at 17:31, Akihiko Odaki <akihiko.od...@gmail.com> wrote: > > Signed-off-by: Akihiko Odaki <akihiko.od...@gmail.com>
In what situations does this change make a difference? Obviously most of the time it works fine, or we'd have noticed before now. (This is the kind of detail that it's useful to provide in the commit message.) thanks -- PMM
