I released the mantic-proposed upload that Robie was talking about in comment #4, after having asked Phil on IRC[1].
1. https://irclogs.ubuntu.com/2024/06/27/%23ubuntu-devel.html#t16:04
I released the mantic-proposed upload that Robie was talking about in comment #4, after having asked Phil on IRC[1].
1. https:/ /irclogs. ubuntu. com/2024/ 06/27/% 23ubuntu- devel.html# t16:04