Skip to content

Fixes for deb artifacts copy

Jakub Ružička requested to merge deb_changes into master

This is a combination of

  • original commit by Ondřej as seen in this repo
  • my fixes and improvements on top

Fixes: #95 (closed)

Merge request reports