From: Bruno Turcksin Date: Fri, 1 Apr 2016 14:17:28 +0000 (-0500) Subject: Merge pull request #2441 from masterleinad/fix_accessor_warning X-Git-Tag: v8.5.0-rc1~1150 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1f23163404d1edd73147009e84a982f64ea392ff;p=dealii.git Merge pull request #2441 from masterleinad/fix_accessor_warning Fix warning in tria_accessor.cc --- 1f23163404d1edd73147009e84a982f64ea392ff