diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-07-17 09:49:23 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-07-17 09:49:30 +0200 |
| commit | 91edda8f3c81ba5a69f44485f20d74f85ec9cee1 (patch) | |
| tree | d7fb4e1cd72c74f23b9e9ddc82c1b816b5710297 /src | |
| parent | 6859ad2936bf431cd745b6763b62051319435742 (diff) | |
| parent | 1cc251f50fb2f9cffa762b28e5d8685af4273663 (diff) | |
Merge #10803: Explicitly search for bdb5.3.
1cc251f Explicitly search for bdb5.3. (Patrick Strateman)
Pull request description:
Some systems do not symlink the major version to the minor version.
Tree-SHA512: 09c030f08442cbe54928a6d20bec31aae2662facf60b859ff9febd84f0711f68d7f920b84fb015764585b305d48faf74c5fe9c3c6a713a0809b78ec066187dd9
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions