From ed8671689a2a6466c8aaaee57dbc3e3b71150825 Mon Sep 17 00:00:00 2001 From: Steven Holtzen Date: Sun, 8 Oct 2023 15:49:19 -0400 Subject: [PATCH] bumping rsdd version --- .gitmodules | 1 + rsdd | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitmodules b/.gitmodules index aa7eefd..b6bb26d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,4 @@ [submodule "rsdd"] path = rsdd + branch = rsdd-dice url = https://github.com/SHoltzen/rsdd diff --git a/rsdd b/rsdd index 4363f65..fcb5726 160000 --- a/rsdd +++ b/rsdd @@ -1 +1 @@ -Subproject commit 4363f659b33d21575eebfe0e96c773afe4bcc6a5 +Subproject commit fcb5726952b39bdc224623603c53d4e7d4326310