Hi all Does anyone know when PHP 7.1 becomes to a stable version in debian stretch? Is there a roadmap? Thx a lot