From: Bruno Turcksin Date: Mon, 29 Feb 2016 14:25:07 +0000 (-0500) Subject: Merge pull request #2270 from tjhei/8_4_pr2262 X-Git-Tag: v8.4.0-rc3~4 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0dc98e6c8937b7a5eb76114e88eb5df3ca65950f;p=dealii.git Merge pull request #2270 from tjhei/8_4_pr2262 [8.4] take over #2262: Avoid boost functions that don't work on BSDs. --- 0dc98e6c8937b7a5eb76114e88eb5df3ca65950f