wbt 3b96c17fc1 cmd/faucet: add grace period to faucet timeout (#18105) ... * Add 5 minute grace period to faucet timeout * cmd/faucet: make grace period dynamic based on original wait time		2019-07-23 12:52:41 +03:00
..
faucet.go	cmd/faucet: add grace period to faucet timeout (#18105)	2019-07-23 12:52:41 +03:00
faucet.html	cmd/faucet: remove Google+ mention from web assets too	2019-05-13 14:52:05 +03:00
website.go	cmd/faucet: remove Google+ mention from web assets too	2019-05-13 14:52:05 +03:00