Re: [armedbear] #427: bug in invoke-restart