Your message dated Sat, 28 Jan 2023 22:06:06 +0100 with message-id <20230128220606.69a7a456@sybil.lepiller.eu> and subject line Re: bug#58495: opam import generates wrong check phase has caused the debbugs.gnu.org bug report #58495, regarding opam import generates wrong check phase to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 58495: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=58495 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems