From: Matthias Maier Date: Mon, 3 Jul 2023 19:37:58 +0000 (+0000) Subject: Merge pull request #15619 from masterleinad/fix_optimization_tests_cxx17 X-Git-Tag: relicensing~784 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5f3a7263a010e6236b3d0d6425dc2e6bf2feeffd;p=dealii.git Merge pull request #15619 from masterleinad/fix_optimization_tests_cxx17 Fix missing include file for optimization/line_minimization.h --- 5f3a7263a010e6236b3d0d6425dc2e6bf2feeffd