-
Georges Racinet authored
For this too, there's no reason to restrict it to the Docker case only. A significant policy change is that we can't really promise anymore that unreleased changes are available in the latest Docker images. With source installs being more and more important to us, and the fact that the source version necessarily predates the Docker version, it's become too restrictive in practice.
0859c7fef137