From: Wolfgang Bangerth Date: Thu, 8 May 2025 20:21:59 +0000 (-0600) Subject: Merge pull request #18437 from mschreter/fix_skip_undefined_jsoN X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b43ff407382c6f19d281adaa1a88242743c24765;p=dealii.git Merge pull request #18437 from mschreter/fix_skip_undefined_jsoN Fix missing assertion for undefined parameters in JSON input parsing --- b43ff407382c6f19d281adaa1a88242743c24765