Skip to content

doc: remove suggestion of self-introduction from new contributor welcome comment - #42901

Open
grunweg wants to merge 2 commits into
leanprover-community:masterfrom
grunweg:welcome-nointro
Open

doc: remove suggestion of self-introduction from new contributor welcome comment#42901
grunweg wants to merge 2 commits into
leanprover-community:masterfrom
grunweg:welcome-nointro