Changeset e9e4068 in mainline

Timestamp:

2018-03-15T17:41:57Z (6 years ago)

Author:

GitHub <noreply@…>

Parents:

67f11a0 (diff), 5b7e17e (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

git-author:

Jakub Jermář <jakub@…> (2018-03-15 17:41:57)

git-committer:

GitHub <noreply@…> (2018-03-15 17:41:57)

Message:

Merge 5b7e17ea3b5aab2cca5a52544f7687c5365b3d75 into 67f11a04d9b9007cff6be59c182bd35c4f3ee076

(No files)