New version: DescriptorSystems v1.3.8 (#83467)

UUID: a81e2ce2-54d1-11eb-2c75-db236b00f339 Repo: https://github.com/andreasvarga/DescriptorSystems.jl.git Tree: 3dca90bbcbc4c9a44ce302a07b19e6145931e485 Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701
JuliaRegistries · May 12, 2023 · 4446421 · 4446421
1 parent 9f5b8fd
commit 4446421
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/D/DescriptorSystems/Versions.toml b/D/DescriptorSystems/Versions.toml
@@ -78,3 +78,6 @@ git-tree-sha1 = "fd6578f45de615bb0de5fa8047ce63bb1d7a5803"
 
 ["1.3.7"]
 git-tree-sha1 = "defeb5ca1195c44f7b1933d367aac1ac473a2f08"
+
+["1.3.8"]
+git-tree-sha1 = "3dca90bbcbc4c9a44ce302a07b19e6145931e485"