Append to Metadata and merge upon deserialization#602

kkysen wants to merge 1 commit intomasterimmunant/c2rust:masterfrom

kkysen/append-metadataimmunant/c2rust:kkysen/append-metadataCopy head branch name to clipboard