From: Timo Heister Date: Thu, 6 Apr 2017 17:55:45 +0000 (-0400) Subject: Merge pull request #18 from tjhei/release_8_5 X-Git-Tag: v0.8.5~24 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d8dde3eaabc97dc0caec70ddce4a0fa2a4c01472;p=candi.git Merge pull request #18 from tjhei/release_8_5 switch to 8.5.0 --- d8dde3eaabc97dc0caec70ddce4a0fa2a4c01472