rAKA/src/common/manual_restart.hh

features/68-automatic…da7634292119a0edbafa9ad…