From: Jean-Paul Pelteret Date: Sat, 30 Mar 2019 08:04:56 +0000 (+0100) Subject: Merge pull request #7871 from bangerth/initializer_list X-Git-Tag: v9.1.0-rc1~233 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0df3420c186eab14164c7c4169d5977ee89e465b;p=dealii.git Merge pull request #7871 from bangerth/initializer_list Allow initialization of Vector with std::initializer_list. --- 0df3420c186eab14164c7c4169d5977ee89e465b