On 2018-03-12 05:33, Pierre Schmitz wrote:
Thanks for digging this up again. You may use the github issue or project system to plan the different steps. Also (and please don't get it the wrong way) let's keep the purpose I intended for our Docker image intact.
No one has suggested changing "the purpose". I'm not sure what is unclear in Santiago's mail.