Merge branch 'main' of github.com:carstenbauer/ThreadPinning.jl

carstenbauer · Jan 29, 2024 · 295103a · 295103a
2 parents 1278f0b + 4684882
commit 295103a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "ThreadPinning"
 uuid = "811555cd-349b-4f26-b7bc-1f208b848042"
 authors = ["Carsten Bauer <crstnbr@gmail.com> and contributors"]
-version = "0.7.19"
+version = "0.7.20"
 
 [deps]
 DelimitedFiles = "8bb1440f-4735-579b-a4ab-409b98df4dab"