Package name encoding in conflict message#6055

Merged

kit-ty-kate merged 2 commits intoocaml:masterfrom rjbou:cudf-encode

Jul 2, 2024

+45-1

Commits on Jul 2, 2024

reftest: add cudf bad encoding package name

rjbou
authored and
kit-ty-kate
committed
cudf: fix bad encoding of cudf package name

rjbou
authored and
kit-ty-kate
committed