broken link to CDT submodule
district10 opened this issue · comments
Branch not pushed? Or deleted after merging?
Thanks, I will fix it.
Reminder to myself: try to add a tag at the dangling commit, hopefully the issue will get solved.
I made a branch at the commit, will do for now. Please let me know if you have any feedback/suggestions.