www/rubygem-railties72: Update to 7.2.3.1

Changes: https://github.com/rails/rails/releases
(cherry picked from commit 9942324f0c594d965d1d84a82850fe3912659616)