Skip to content

Merge branch 'dev/1.3.7' of github.com:Erotemic/ubelt into dev/1.3.7 #958

Merge branch 'dev/1.3.7' of github.com:Erotemic/ubelt into dev/1.3.7

Merge branch 'dev/1.3.7' of github.com:Erotemic/ubelt into dev/1.3.7 #958

3.8 on macOS-latest, arch=auto with tests,optional

succeeded Jul 21, 2024 in 50s