Update scala-library to 2.13.7#37

Gonzih wants to merge 3 commits intomasterpaperhands/ui:masterfrom

update/scala-library-2.13.7paperhands/ui:update/scala-library-2.13.7Copy head branch name to clipboard