2022年11月15日(火) 1:47 Koichi Murase <myoga.mur...@gmail.com>: > I'm just planning to quickly check the behavior of "the next devel > push", which seems to be not yet pushed to savannah. Thank you.
I checked the latest devel push, where I confirmed that it now works. Thank you.
