Is there a set of builds between 19.04 and 19.10 that I could binary chop through? This would allow a developer to narrow down where the bug was introduced. Checking a build takes about half an hour, so if there were say one per day between April 2019 and October 2019, that would require 0.5 * log2 (180) hours, ie about 4 hours. Jon Thackray