In DC Patch Management there used to be an option to reboot a PC from the execution status screen after patching if it needed it.  That option seems to no longer exist and you have to go back to the tools menu and find the PC to reboot.  Is this by design that it has been removed or is it a bug.?

This was a really useful option.