-
Georges Racinet authored
This time, due to the long series of RCs, I find it clearer to give the changes since 0.8.4 separately, sparing people that will want to upgrade from there the long list of intermediate issues that have been introduced by the jump to GitLab 12 and solved since.
2f85122b7893