From: David Wells Date: Thu, 12 Jan 2017 16:45:30 +0000 (-0500) Subject: Merge pull request #3783 from tjhei/fix_compressed_fe_index_is_active X-Git-Tag: v8.5.0-rc1~257 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5e5dcdec550106f59d8965999c1507e40c3e9de4;p=dealii.git Merge pull request #3783 from tjhei/fix_compressed_fe_index_is_active fix hp fe_index_is_active() --- 5e5dcdec550106f59d8965999c1507e40c3e9de4