Create a 0.7.1 release?

[hunts]

Hi @partim,

Looks like we have a 0.8.0-dev under developed, I'm not sure about the schedule, but can I ask for a 0.7.1 release cut from 065c15a? So that we can void using [patch.crates-io] for vendoring the forked version in our repos.

Thanks!

[partim]

That should be no problem at all. In fact, let me do that right away before I forget.

[hunts]

Thank you very much for the quick action!!

We got it,

cargo update -p [email protected]                
    Updating crates.io index
    Updating domain v0.7.0 -> v0.7.1