Calascibetta Romain

> OpenBSD 7.1 is out very soon, is there any chance of getting the ci image updated? It should just be a matter of running, [sysupgrade](https://man.openbsd.org/sysupgrade) and [pkg_add -u](https://man.openbsd.org/pkg_add#u) after...

/cc @TheLortex recently upgraded the CI, can you test on OpenBSD 7.1?

Let's merge this PR 👍 Thanks for your work.

It will be nice to have a reproducible case, thanks! I will remove it from the milestone about MirageOS 3.0 (but I let the issue open).

Due to #1251, should we close this PR?

I agree that we should delete "un bonne fois pour toute" these annoying warning :+1:.

Hi, currently I try to use `opam.2.1.0` with a certain version of `unipi` available here: https://github.com/roburio/unipi/pull/4 without `pin` and `opam` shows this error: ```sh $ git clone https://github.com/dinosaure/unipi $ cd...

So it's fixed but I let the issue open. We probably need a message which explain why the package name is bad (and we should probably advise the user to...

We probably should close this PR. `mirage-tcpip` has the `disconnect` function as far I can say. @avsm can you confirm that we don't miss anything?

Yes, let me prepare a release for `gilbraltar` first and I will clean up/merge this PR 👍