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
