diff options
| author | Robert Speicher <rspeicher@gmail.com> | 2016-07-08 06:48:02 +0300 |
|---|---|---|
| committer | Robert Speicher <rspeicher@gmail.com> | 2016-07-08 06:48:02 +0300 |
| commit | 0de617772dfeb9bdcf3770e9acf7421db5023058 (patch) | |
| tree | 692dc0d93425536e782264c750ecc8bada8d1851 /doc/ci | |
| parent | cfb5a76bb26521ff3ff68acc20466ea7feb49d9f (diff) | |
Revert "Revert "Merge branch 'issue_3946' into 'master'
""
This reverts commit bf2a86b73cce332ff8f4392ffc8df501193f32ec.
Diffstat (limited to 'doc/ci')
0 files changed, 0 insertions, 0 deletions