-
c61d727f · upgpkg: 2.3.0-4 (OCaml 5.3.0 rebuild)
-
6ba53247 · upgpkg: 2.3.0-3 (OCaml 5.2.1 rebuild)
Thanks! Merged.
Thanks for the MR @kit-ty-kate! I have been on a summer vacation on a sailboat. Merged.
@arodseth is there any chance you could have a look at this? I was a bit surprised a separate commit that does similar things was pushed instead of...