Update scala-library to 2.13.12#727

scala-steward wants to merge 1 commit intopauljamescleary:masterpauljamescleary/scala-pet-store:masterfrom

scala-steward:update/scala-library-2.13.12scala-steward/scala-pet-store:update/scala-library-2.13.12Copy head branch name to clipboard