Allow for tcb migration of sealed files#2161

njeans wants to merge 1 commit into

gramineproject:mastergramineproject/gramine:masterfrom

njeans:tcb-migrationnjeans/gramine:tcb-migrationCopy head branch name to clipboard