commit | 0843bb2b57faf7305d459ea312e0475eef223ba2 | [log] [tgz] |
---|---|---|
author | ebruneton <ebruneton> | Sat Feb 11 12:45:58 2017 +0000 |
committer | ebruneton <ebruneton> | Sat Feb 11 12:45:58 2017 +0000 |
tree | 72cdbb66c6d1499c08a4f830b734be206651c7fb | |
parent | 4bc47e70765397fe9275b9b499267be7b5dcc440 [diff] |
Applied patch from Roman Shevchenko.