Skip to content
TagBot

Use @show_name, @show_special, @show_special_elem, extra_name systematically in our packages #17245

Sign in to view logs

Use @show_name, @show_special, @show_special_elem, extra_name systematically in our packages

Use @show_name, @show_special, @show_special_elem, extra_name systematically in our packages #17245

Triggered via issue October 30, 2024 10:20
@fingolfinfingolfin
commented on #3582 852b6d1
Status Skipped
Total duration 2s
Artifacts –

TagBot.yml

on: issue_comment
TagBot
0s
TagBot
Fit to window
Zoom out
Zoom in