>>>>> "Baruch" == Baruch Siach <baruch at tkos.co.il> writes: Hi, >> Committed to 2019.02.x and 2019.05.x, thanks. > It is in 2019.02.x, but not in 2019.05.x as of commit 1818dae1e0. Ups, indeed - Fixed now, thanks! -- Bye, Peter Korsgaard