Skip to content

Move some settings DOM generation out of JS#97139

Merged
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:move-dom-settings-generation
May 19, 2022
Merged

Move some settings DOM generation out of JS#97139
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:move-dom-settings-generation

Commits

Commits on May 18, 2022