dolfin (2019.2.0~git20200629.946dbd3-8) unstable; urgency=medium
authorAnton Gladky <gladk@debian.org>
Wed, 18 Nov 2020 16:09:19 +0000 (16:09 +0000)
committerAnton Gladky <gladk@debian.org>
Wed, 18 Nov 2020 16:09:19 +0000 (16:09 +0000)
  * [9f0767f] Fix compilation against Boost_1.74. (Closes: #974947)
  * Proper source-only upload with demo-files. (Closes: #975057)

[dgit import unpatched dolfin 2019.2.0~git20200629.946dbd3-8]


Trivial merge