Hi, On Fri, 2023-05-19 at 07:09 -0700, Sean Whitton wrote: > On Thu 18 May 2023 at 07:55PM +02, Ansgar wrote: > > > Why not? > > We will not move that fast.
So there is no real reason? As there doesn't seem to be anything you think need to be talked about that is missing to get to a decision (given you ignored all other questions multiple times). Do you expect this to take longer than 2-3 months? I would suggest to just use a GR in that case: it seems quicker and less painful than a multi-month long process for a simple(!) question. Ansgar