Merge pull request #20064 from luizluca/ruby-3.1.3
authorJosef Schlehofer <pepe.schlehofer@gmail.com>
Mon, 12 Dec 2022 04:55:04 +0000 (05:55 +0100)
committerGitHub <noreply@github.com>
Mon, 12 Dec 2022 04:55:04 +0000 (05:55 +0100)
ruby: update to 3.1.3


Trivial merge