Supply correct repository metadata#2

nicoburns merged 1 commit intoservo:mainservo/malloc_size_of:mainfrom

waywardmonkeys:repository-metadatawaywardmonkeys/malloc_size_of:repository-metadataCopy head branch name to clipboard