From: Uwe Köcher Date: Tue, 15 Aug 2017 14:31:34 +0000 (+0200) Subject: Merge pull request #46 from tjhei/version_bump X-Git-Tag: v0.8.5~2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ab16d178e691982b4885903780e5b6434751073a;p=candi.git Merge pull request #46 from tjhei/version_bump bump to deal.II 8.5.1 --- ab16d178e691982b4885903780e5b6434751073a