Skip to content

Remove `random_markdown_tip` helper

Robert Speicher requested to merge rs-remove-markdown-tips into master

Only usage got removed in !3442 (merged)

Merge request reports