On Wed, Jan 17 2024, Greg Hogan wrote:

> Is it appropriate to make the recommended changes and submit an
> updated patch?

Yes, absolutely!

Kind regards
Felix

Reply via email to