tree 87fd00e63001871ed1a61420cb3b5f0146979aca
parent 2227c6600dbe2d75cb26f2b47ced37ee4969a0d9
author Radek Iša <radek.isa@centrum.cz> 1606321064 +0100
committer Radek Krejci <rkrejci@cesnet.cz> 1606744118 +0100

travis MAINTAINCE change the way of flag coverage propagation