Rubinius version: 4.12

Release date: Jan. 7, 2020