Skip to content

2021-02-08

Choose a tag to compare

@github-actions github-actions released this 08 Feb 11:13
336909b
Merge #7587

7587: AdtDef -> Adt r=matklad a=matklad

bors r+
🤖

Co-authored-by: Aleksey Kladov <[email protected]>