Merge master to dev after release 2016.11 (pull request #1009)

Browse Source

Merge master to dev after release, for reference

...

This commit is contained in:

Jacob Støren

2016-11-29 11:37:23 +01:00

committed by GitHub

parent 1a636a8e20 6e2a87cabc

commit dd07dda438

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

Diff Content Not Available