Skip to content

Fix detect.py --update list bug#8783

Merged
glenn-jocher merged 1 commit into
masterfrom
glenn-jocher-patch-1
Jul 29, 2022
Merged

Fix detect.py --update list bug#8783
glenn-jocher merged 1 commit into
masterfrom
glenn-jocher-patch-1

Commits

Commits on Jul 29, 2022