Commit 7c57b7fd authored by Timo Koch's avatar Timo Koch
Browse files

Merge branch 'cherry-pick-0c8d203e' into 'releases/3.4'

Merge branch 'fix/missing-include-amg' into 'master'

See merge request !2742
parents 3db535ef 7c753b1b
Pipeline #6659 canceled with stages