Resolve "Synthesis : tile_id is mandatory"

Closes #87 (closed)

changed milestone to %1.7.2

added bug label

assigned to @dupuisa

added 1 commit

• e381006a - New dockerfile with gapfilling

Compare with previous version

added 1 commit

• d74245b7 - Add check on tile_id which is mandatory.

Compare with previous version

marked this merge request as ready

merged

mentioned in commit ef7809d3