Update cats-core, cats-free, cats-kernel to 2.13.0 #1839
Merged
Mergify / Rule: Automatic merge on approval (merge)
succeeded
Jan 22, 2025 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at 7b10b3e
Loading