From: Wolfgang Bangerth Date: Sat, 28 Mar 2015 21:11:07 +0000 (-0500) Subject: Merge pull request #702 from kronbichler/master X-Git-Tag: v8.3.0-rc1~346 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a41ce8f4a96a879a75ee7f0510e488f850c709c2;p=dealii.git Merge pull request #702 from kronbichler/master Clarify comment for IndexSet::make_trilinos_map --- a41ce8f4a96a879a75ee7f0510e488f850c709c2