Thu, 19 Sep 2019 13:07:16 +0200 Set proper artifact names.
Tomas Zeman <tomas@functionals.cz> [Thu, 19 Sep 2019 13:07:16 +0200] rev 6
Set proper artifact names.
(0) -1 +1 tip