From: Timo Heister <timo.heister@gmail.com>
Date: Mon, 17 Apr 2023 19:53:07 +0000 (-0400)
Subject: Merge pull request #341 from tjhei/ci-bfd
X-Git-Tag: v9.5.1-r1~19
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=766e20a0601e1bdb7c0018bba17eb627065e1afd;p=candi.git

Merge pull request #341 from tjhei/ci-bfd

temporary fix for CI by using bfd
---

766e20a0601e1bdb7c0018bba17eb627065e1afd