Merge pull request #4575 from hvr/pr/extended-relax-deps
commit013cdcecad3d64b581bece616c2495a9af928758
authorHerbert Valerio Riedel <hvr@gnu.org>
Mon, 3 Jul 2017 21:11:40 +0000 (3 23:11 +0200)
committerGitHub <noreply@github.com>
Mon, 3 Jul 2017 21:11:40 +0000 (3 23:11 +0200)
tree6889859d4d6c41674aaa9df9ac53688bd83b9117
parente2cacc17dad44a2857c632d9432c1b6aad968257
parenta0d80350762305531ed8dcd2440af037a7ecb411
Merge pull request #4575 from hvr/pr/extended-relax-deps

Enhance `--allow-{newer,older}` syntax