From: Uwe Köcher <mail@uwe.koecher.cc>
Date: Tue, 8 Oct 2019 14:14:59 +0000 (+0200)
Subject: Merge pull request #124 from tjhei/ubuntu19
X-Git-Tag: v9.2.0-r1~12
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f330dcc10f7f1ac84eea7f2bc757ca026ef0bdfd;p=candi.git

Merge pull request #124 from tjhei/ubuntu19

add ubuntu19 support
---

f330dcc10f7f1ac84eea7f2bc757ca026ef0bdfd