Skip to content
TagBot

Fix a mistake in the docstring of sem #18536

Sign in to view logs

Fix a mistake in the docstring of sem

Fix a mistake in the docstring of sem #18536

Triggered via issue April 25, 2024 03:55
@DilumAluthgeDilumAluthge
commented on #917 be809a8
Status Skipped
Total duration 2s
Artifacts –

TagBot.yml

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