From: Peter Munch Date: Sat, 10 Dec 2022 08:51:53 +0000 (+0100) Subject: Merge pull request #14321 from peterrum/rotate X-Git-Tag: v9.5.0-rc1~743 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=37d437e455845a5b0ceb55afeb68d8200569a9e7;p=dealii.git Merge pull request #14321 from peterrum/rotate Rotate for dim=1 spacedim=2 --- 37d437e455845a5b0ceb55afeb68d8200569a9e7