eefcd7f7d5
When go.mod specifies go 1.14 or higher, the go tools now verify that vendor/modules.txt is consistent with go.mod. Fixed by running `go mod vendor`.