From: Timo Heister Date: Sun, 20 Mar 2016 21:14:05 +0000 (+0100) Subject: Merge pull request #2388 from bangerth/fix-segfault X-Git-Tag: v8.5.0-rc1~1187 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c5d20a1a28de138ba382ff1033bc73747f8777a7;p=dealii.git Merge pull request #2388 from bangerth/fix-segfault Fix a segmentation fault in DoFHandler::locally_owned_dofs(). --- c5d20a1a28de138ba382ff1033bc73747f8777a7