diff --git a/other/certd-server b/other/certd-server deleted file mode 160000 index 08b48c52..00000000 --- a/other/certd-server +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 08b48c522b5a35f6c58130e7a43f525be0ac94df