Skip to content

Start removing snippet_opt in favor of get_source_text#13244

Merged
bors merged 1 commit intorust-lang:masterfrom
Jarcho:get_src_display
Aug 21, 2024
Merged

Start removing `snippet_opt` in favor of `get_source_text`#13244
bors merged 1 commit intorust-lang:masterfrom
Jarcho:get_src_display

Commits

Commits on Aug 21, 2024