On Wed, 31 Aug 2022 at 22:39, David Rowley <dgrowle...@gmail.com> wrote: > My current thoughts are that this is a very trivial patch and unless > there's any objections I plan to push it soon.
Pushed. David
On Wed, 31 Aug 2022 at 22:39, David Rowley <dgrowle...@gmail.com> wrote: > My current thoughts are that this is a very trivial patch and unless > there's any objections I plan to push it soon.
Pushed. David