...on Wed, Jul 08, 2020 at 06:14:51PM +1000, Andrew McGlashan via Dng wrote:

> Using the /dev/mapper device name would likely have been just as good, but I'm not sure as I didn't try that

I'll try if using UUIDs in the fstab makes a difference in the
boot process later tonight (and maybe why, if it indeed does).

The system has been migrated from hardware into a VM some time
ago, so I can recover easily.

Alex.