Merge pull request #3325 from ffontaine/master
authorRuben Kerkhof <ruben@rubenkerkhof.com>
Tue, 29 Oct 2019 14:43:42 +0000 (15:43 +0100)
committerGitHub <noreply@github.com>
Tue, 29 Oct 2019 14:43:42 +0000 (15:43 +0100)
configure.ac: fix protobuf/util/time_util.h detection


Trivial merge