The text 9469ebf6bb9b, as Debian 10 (Buster) shipped it.
run reboot
cdist-type__install_reboot(7) on Linux now
