GitLab 12.10
This issue represents the move of the heptapod
branch to any GitLab 12.10 revision and depends on heptapod-shell#2 (closed).
Moving further to the latest patch release on GitLab 12.10 will resolve #266 (closed) and its sub-issues.
According to GitLab maintenance policy, two monthly versions before the current one get security fixes, with just one version getting general bug fixes.
With GitLab 13.0 released on 2020-05-22, GitLab 13.2 will be released on 2020-07-22, meaning that GitLab 12.10 will get general bug fixes until 2020-06-22 and security fixes until 2020-07-22.
We should be able to stay on GitLab 12.10 long enough for the transition to GitLab 13 to be just normal for our users: no need for intermediate not functional versions like we had to jump on GitLab 12.