chore: update cats-core from 2.12.0 to 2.13.0#712

jona7o wants to merge 1 commit intomasterinnFactory/bootstrap-play2:masterfrom

update/cats-core-2.13.0innFactory/bootstrap-play2:update/cats-core-2.13.0Copy head branch name to clipboard