| commit | 9a0e66096a1d70c28a7d5358f966f936f609d52b | [log] [tgz] |
|---|---|---|
| author | Andrey Andreev <narf@devilix.net> | Mon Jan 19 14:54:08 2015 +0200 |
| committer | Andrey Andreev <narf@devilix.net> | Mon Jan 19 14:54:08 2015 +0200 |
| tree | e51bdbe131cd07bad9743a797ba45ee9d4fdd5cd | |
| parent | e3d66af0845c0b9f995d1890d890cfd36ce1f3fc [diff] |
[ci skip] Manually apply PR #3461 I would've merged it earlier, but that would cause conflicts when feature/session is merged.