[solver] Fix restartGMRes parameter number type
See merge request !2631 (merged)
(cherry picked from commit 9b0db493)
930dd74f [solver] Fix restartGMRes parameter number type
3 years ago
No artifacts found