From: David Wells Date: Thu, 2 Jan 2025 18:48:51 +0000 (-0500) Subject: Merge pull request #17969 from tjhei/ignore-line-index-warn X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=27f9bac7ebb9d2c987b99d7b9edef1fb8f75a906;p=dealii.git Merge pull request #17969 from tjhei/ignore-line-index-warn fix unused argument warning in TriaAccessor::line_index --- 27f9bac7ebb9d2c987b99d7b9edef1fb8f75a906