Skip to content

Remove unneeded tini from docker

Evili del Rio requested to merge no_tiny into master

Signed-off-by: Evili del Rio evili@iiia.csic.es

Merge request reports