Graham Inggs Mon, 02 Sep 2019 23:33:35 -0700
Hi I believe this failure was actually caused by a bug in debhelper 12.5.3, and fixed in 12.5.4. See #935780.
Regards Graham