Do not set the "best header" to a header that has a lower number than before#1518
Merged
mergify[bot] merged 2 commits intoCodeChain-io:masterfrom May 8, 2019
Merged
Do not set the "best header" to a header that has a lower number than before#1518mergify[bot] merged 2 commits intoCodeChain-io:masterfrom
mergify[bot] merged 2 commits intoCodeChain-io:masterfrom