Merge pull request #11728 from OPM/main

Browse Source

Merge from main

...

This commit is contained in:

Magne Sjaastad

2024-09-27 11:32:39 +02:00

committed by GitHub

parent ee8925edc6 0a0c8fbbe3

commit 8d0883cd9c

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