From: Martin Kronbichler Date: Wed, 28 Oct 2020 08:42:33 +0000 (+0100) Subject: Merge pull request #11111 from bangerth/particles X-Git-Tag: v9.3.0-rc1~964 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6b231950732cc41ed6d91b197e06de56c9c0316b;p=dealii.git Merge pull request #11111 from bangerth/particles Make sure particles also copy their properties when switching property pools. --- 6b231950732cc41ed6d91b197e06de56c9c0316b