| commit | 3af56681790f310a955acba3e8899b07b7031867 | [log] [tgz] |
|---|---|---|
| author | Petr Ruzicka <petr.ruzicka@gmail.com> | Wed Feb 07 14:09:19 2018 +0100 |
| committer | GitHub <noreply@github.com> | Wed Feb 07 14:09:19 2018 +0100 |
| tree | ab0922db5eebf6b25c1bbcca36c66e1fc3bcbc79 | |
| parent | bba9d34f0baad9e9f8a3ad700b76d603b8329133 [diff] | |
| parent | a1f2329f1ed7aaffa62df7d4f962cfb8f7eb195f [diff] |
Merge branch 'master' into feature/documentation_update+fixes