ring-codec is more likely to be ok, as it is a separate repo.

ring/ring-servlet

comes out of the same repo and might want to keep the same version