Skip to content

Use a standard header for metadata in all serialized modules#2747

Merged
bors[bot] merged 2 commits intomasterfrom metadata-headerJan 14, 2022

Commits

Commits on Jan 7, 2022