[Faucet-dev] faucet 1.6.19 released