v0.7.13

41898282+github-actions[bot]@users.noreply.github.com

eadcb2d4 · Update Project.toml · Aug 09, 2023

## ThreadPinning v0.7.13

[Diff since v0.7.12](https://github.com/carstenbauer/ThreadPinning.jl/compare/v0.7.12...v0.7.13)