Merge pull request #4522
commit2741907540fb614e4f9976c7f50a94899f088b24
authorHerbert Valerio Riedel <hvr@gnu.org>
Fri, 19 May 2017 21:36:26 +0000 (19 23:36 +0200)
committerGitHub <noreply@github.com>
Fri, 19 May 2017 21:36:26 +0000 (19 23:36 +0200)
treea49086bec87dee6373f61a925d5790f0b42e5afd
parent99e70bd9f51d3ced42de6827e36b45d36d7237bf
parent24ae23a1a77b199213933dbd6b0a85301f1c4a2e
Merge pull request #4522

Filter `+timestamp` out when invoking Cabal-2.0.0 custom-setups