On Wed, Jul 22, 2020 at 09:36:27PM -0700, Paul Zimmerman wrote: > Gerd, it's OK by me if you take Thomas's patch instead, I agree the > changelog is better. It also has a fixes tag. > > Reviewed-by: Paul Zimmerman <pauld...@gmail.com>
Queued. Thanks, Gerd
