Closed jbangelo closed 3 years ago
Fix for a bug found in https://github.com/swift-nav/swiftnav-rs/pull/57, preventing the submodule update to proceed.
Merging despite the Jenkins failure, seems like one of our services is temporarily down.
Fix for a bug found in https://github.com/swift-nav/swiftnav-rs/pull/57, preventing the submodule update to proceed.