Source: deal.ii Followup-For: Bug #1140247 X-Debbugs-Cc: [email protected] Hi Tobi, just an FYI on this. I am not very much involved in this package, except for having made a couple of uploads when it was blocking the migration of other packages.
We have had this mold "dance" already in the recent past. First, 9.6.2-2 added it, and 9.7.1-2 removed it. Afterwards, 9.7.1-3 added it back, and 9.7.1-7 (latest) removed it again. Just leaving this written here for posterity in case there is a third round ;) Cheers, Francesco
