update dist, fedora build
Authored by: Jean-Francois Dockes 2018-10-04
Parent(s): [84424e]
Child(ren): [9ee7b0]