Update slang digest to 23d3870

Author: renovate[bot]

WORKSPACE

@@ -54,10 +54,10 @@ http_archive(
     name = "slang",
     build_file = "slang.BUILD",
     patches = ["//external:slang.patch"],
-    sha256 = "eea4b20751fa6394647330518c9b0c46c8248fea984c91a8a8bfe01a8a04567e",
-    strip_prefix = "slang-458be618a58aa1896398eccc1ddf75b880afaab6",
+    sha256 = "31428c3aec377610e9b95c2df4d2e2459b3a0ad4dbecb703bb85c15cc70b83cd",
+    strip_prefix = "slang-23d38707290528b725adf6e15652a90f4d00fb80",
     urls = [
-        "https://github.com/MikePopoloski/slang/archive/458be618a58aa1896398eccc1ddf75b880afaab6.zip",
+        "https://github.com/MikePopoloski/slang/archive/23d38707290528b725adf6e15652a90f4d00fb80.zip",
     ],
 )