From: Wolfgang Bangerth Date: Tue, 28 Jul 2015 14:15:49 +0000 (-0500) Subject: Merge pull request #1210 from tjhei/r83_pr1208 X-Git-Tag: v8.3.0~3 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bb12c0760c200f03a775c31828212775ac56300e;p=dealii.git Merge pull request #1210 from tjhei/r83_pr1208 [8.3] take over #1208: make IndexSet Epetra_Map constr explicit --- bb12c0760c200f03a775c31828212775ac56300e