>>>>> "Yann" == Yann E MORIN <yann.morin.1998 at free.fr> writes: Hi, >> Committed, thanks. > Thanks. > This is also a candidate for 2019.02.x, on which it applies cleanly. Yes, I will sync 2019.02.x after I get 2019.05 out the door. -- Bye, Peter Korsgaard