diff --git a/third_party/sby b/third_party/sby deleted file mode 160000 index 26b387466..000000000 --- a/third_party/sby +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 26b387466d224cd9e83a6f97d0b69d9dd59e56b5 diff --git a/third_party/sby b/third_party/sby new file mode 100644 index 000000000..5771ad562 --- /dev/null +++ b/third_party/sby @@ -0,0 +1 @@ +9675d158cea5b5289ef062297bff283788214a3b \ No newline at end of file