Merge branch 'issue/cmake-scotch-without-ptscotch' into 'master'

Christoph Grüningerrequested to merge
cherry-pick-f6779880 into releases/2.8

Fix cmake bug when Scotch is found but not PTScotch

See merge request !988 (merged)

(cherry picked from commit f6779880)

5cbd6092 Fix cmake bug when Scotch is found but not PTScotch

Merge request reports