On Mon, 17 May 2021 at 16:45, Tatsuo Ishii <ishii(at)sraoss(dot)co(dot)jp> wrote:> Would you like to push the patch?
Yeah, I can. I was just letting it sit for a while to see if anyoneelse had an opinion about backpatching.
David