Dmitry Tantsur 0fa282eee7 agent: do not hard power off if soft power off actually succeeds ... Change-Id: I747e7bd2a341c828006e9f2216c81dbf9a01eec6		2020-05-28 18:01:57 +02:00
..
notes	agent: do not hard power off if soft power off actually succeeds	2020-05-28 18:01:57 +02:00
source	Merge "Fix pygments style"	2020-05-21 20:48:27 +00:00