Dmitry Tantsur 5332588152 Allow deleting nodes with a broken driver ...

The only reason we need a driver is to stop serial console. Only try
to load the driver in this case.

Change-Id: I5a4e0a40659042087b7a466baae0a8c3dc136211

2020-07-07 12:37:57 +02:00

..

notes

Allow deleting nodes with a broken driver

2020-07-07 12:37:57 +02:00

source

Merge "Fix pygments style"

2020-05-21 20:48:27 +00:00