From: Timo Heister <timo.heister@gmail.com>
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