-
Georges Racinet authored
We chose v12.3.5 as our branching point because it is ancestor of v12.4.0, but there must have been an anomaly because the common ancestor of v12.3.5 and 12.10 or 13.0 versions is 14fa4f205cec, slightly before v12.3.0. This partial revert will help with future merges
05c3e70b82f8