From: Timo Heister <timo.heister@gmail.com>
Date: Tue, 9 Jun 2020 22:15:04 +0000 (-0400)
Subject: Merge pull request #146 from rezarastak/deprecate_old_ubuntu
X-Git-Tag: v9.3.0-r3~37
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ca73272a2075e416ed17ef63d1eba794136e4739;p=candi.git

Merge pull request #146 from rezarastak/deprecate_old_ubuntu

deprecate unsupported ubuntu platforms
---

ca73272a2075e416ed17ef63d1eba794136e4739