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.6 on ubuntu-20.04, arch=auto with tests-strict,runtime-strict

succeeded Jul 21, 2024 in 36s