Hi Kevin! On 13/8/19 7:25 pm, Kevin Buckley wrote: > Then again, perhaps the bug seen there has been fixed in some > other way for 19.05.2? From what I can see with "git log -Saries -p" it appears not yet. All the best, Chris -- Chris Samuel : http://www.csamuel.org/ : Berkeley, CA, USA