From: Daniel Arndt Date: Mon, 8 Mar 2021 21:30:45 +0000 (-0500) Subject: Merge pull request #11870 from drwells/fix-line-indices X-Git-Tag: v9.3.0-rc1~360 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b7521817c47661e3269305f5e554985a3c82ca3e;p=dealii.git Merge pull request #11870 from drwells/fix-line-indices Fix a hardcoded number of lines. --- b7521817c47661e3269305f5e554985a3c82ca3e