Bugzilla – Attachment #614972: Patch to fix restoration of boot entry on resume for bug #856391
grub-once-restore()
{
echo "INFO: running grub-once-restore"
prepare-parameters
rm -f "$GRUBDEFAULT"
if [ -e "$GRUBDEFSAVE" ]; then
echo " restoring original $GRUBDEFAULT"