From: Wolfgang Bangerth Date: Sat, 9 Sep 2023 01:11:04 +0000 (-0600) Subject: Merge pull request #161 from marcfehling/extract-locally X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=df4282d39471e6e30fa7464a46aa77fec1fd05c2;p=code-gallery.git Merge pull request #161 from marcfehling/extract-locally Do not use deprecated extract_locally_* functions in code-gallery. --- df4282d39471e6e30fa7464a46aa77fec1fd05c2