From: Wolfgang Bangerth Date: Mon, 30 Nov 2015 18:10:31 +0000 (-0600) Subject: Merge pull request #1931 from tjhei/fix_get_curl_on_clang X-Git-Tag: v8.4.0-rc2~185 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=589f90239929855f6bcae5045bf3d944c4d87896;p=dealii.git Merge pull request #1931 from tjhei/fix_get_curl_on_clang fix get_curl on clang broken in #1920 --- 589f90239929855f6bcae5045bf3d944c4d87896