Skip to content

get rid of the fourth argument of maketerm, type #141

get rid of the fourth argument of maketerm, type

get rid of the fourth argument of maketerm, type #141

Triggered via issue June 3, 2024 10:10
Status Skipped
Total duration 2s
Artifacts

TagBot.yml

on: issue_comment
Fit to window
Zoom out
Zoom in