From: Martin Kronbichler Date: Fri, 27 Nov 2020 18:49:05 +0000 (+0100) Subject: Merge pull request #11263 from peterrum/shape_info_outdated_comments X-Git-Tag: v9.3.0-rc1~838 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ac8d010384394c578a83072cc1d6873f5a8ce5c2;p=dealii.git Merge pull request #11263 from peterrum/shape_info_outdated_comments ShapeInfo: remove outdated comments --- ac8d010384394c578a83072cc1d6873f5a8ce5c2