| commit | abaf365d9ee1405652f124827758915f08abc12f | |
| author | Herbert Valerio Riedel <hvr@gnu.org> | |
| Mon, 12 Feb 2018 18:35:35 +0000 (12 19:35 +0100) | ||
| committer | GitHub <noreply@github.com> | |
| Mon, 12 Feb 2018 18:35:35 +0000 (12 19:35 +0100) | ||
| tree | f815054dd1d4042dbeb215a32077418e5c08e721 | treesnapshot (tar.gz zip) |
| parent | 3b3a8d2b1ba6e3a1fd894fc9bef92d7acfcadc94 | commitdiff |
| parent | 28b0b9e68df24b477e611b4ae84505fa21aa01c9 | commitdiff |
Merge pull request #4886 from hvr/pr/issue-4737
Replace flag-defaulting hack by proper solution
Addresses #4737 and fixes #5139
Replace flag-defaulting hack by proper solution
Addresses #4737 and fixes #5139