Merge PR #945 again into maint

Browse Source

pull/951/head

Frank H. Ellenberger 5 years ago

parent 83ed52f6d2 41d5d37aea

commit e3254b93bd

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

Show Stats Download Patch File Download Diff File

Diff Content Not Available