libmicrokit: fix deferred signal dropping on reply#523

midnightveil merged 1 commit into

seL4:mainseL4/microkit:mainfrom

au-ts:deferred_fixau-ts/microkit:deferred_fixCopy head branch name to clipboard