From: Luca Heltai Date: Wed, 12 Apr 2023 08:22:26 +0000 (+0300) Subject: Merge pull request #15082 from bangerth/nox X-Git-Tag: v9.5.0-rc1~339 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e7409ffa5cf993c30249b7ac9eef03d72ab8d3a6;p=dealii.git Merge pull request #15082 from bangerth/nox Minor updates to the NOX solver interfaces. --- e7409ffa5cf993c30249b7ac9eef03d72ab8d3a6