]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18437 from mschreter/fix_skip_undefined_jsoN
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 8 May 2025 20:21:59 +0000 (14:21 -0600)
committerGitHub <noreply@github.com>
Thu, 8 May 2025 20:21:59 +0000 (14:21 -0600)
commitb43ff407382c6f19d281adaa1a88242743c24765
tree157a8106caa2f6c6c2d9070aaff6357dbbb6e992
parent86fa04bfa4f9cf0d2fbb21585be8deadd0ad64c6
parent1e651d9a0fef88d51089eb05d07c8cc6b0d4e63a
Merge pull request #18437 from mschreter/fix_skip_undefined_jsoN

Fix missing assertion for undefined parameters in JSON input parsing

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.