On Wed, Apr 12, 2023 at 11:15 AM Anton Khirnov <anton at khirnov.net> wrote: > > Quoting Jan Ekström (2023-04-03 11:05:24) > > > > Ping. Are you OK with this explanation/reasoning, or are you still > > blocking this? > > Just push IMO > Alright, applied as eb96cfbf57822f7ce0af508d4a9ecd2224cbd565 . Jan