They go to https://github.com/GaloisInc/C2Rust/issues/, but the issues are not viewable.
They go to https://github.com/GaloisInc/C2Rust/issues/, but the issues are not viewable.