From: Wolfgang Bangerth Date: Fri, 19 Aug 2016 18:53:47 +0000 (-0600) Subject: Merge pull request #2989 from gassmoeller/optimize_qsorted_constructor X-Git-Tag: v8.5.0-rc1~753 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fff080af7fd80b8c8a4580db9263e40f7b84964f;p=dealii.git Merge pull request #2989 from gassmoeller/optimize_qsorted_constructor Improve QSorted constructor --- fff080af7fd80b8c8a4580db9263e40f7b84964f