Merge pull request #4518 from hvr/pr/timestamp2
commit967a64e35721e330dbb980aa062cec1047aae151
authorHerbert Valerio Riedel <hvr@gnu.org>
Tue, 16 May 2017 20:17:46 +0000 (16 22:17 +0200)
committerGitHub <noreply@github.com>
Tue, 16 May 2017 20:17:46 +0000 (16 22:17 +0200)
tree06932140763ed705b94b6b9e48dd8e2ce2e57ef2
parentb3da88bb31d9a0e075625770da00287467d58278
parent0109d0763ef1c0c238056fb519d0d66a7fba5c9e
Merge pull request #4518 from hvr/pr/timestamp2

Implement `+timestamp` verbosity flag