Commit Briefs

f4257fcaa2 Alexander Arkhipov

fix dist target (master, origin/master, tags/0.4)