Merge pull request #1052 from MartinNowak/merge_stable
Merge remote-tracking branch 'upstream/stable' into merge_stable
commit 860351957e00bdd2cd81d09e3ca51729ac7ad7e4
2 parents 038fc1b + 173c2ff
@Martin Nowak Martin Nowak authored on 24 Jan 2017
GitHub committed on 24 Jan 2017
Showing 0 changed files