-
Georges Racinet authored
It should have been 13.17.0 since upstream v13.10.0. Development setups (HDK) have been using the correct version, though, because Heptapod Shell 13.17.0 was tagged and published long ago (hence it's provided in the current `heptapod-stable` branch of Heptapod Shell)
7c434f6abf9b