Source: dolfinx-mpc
Followup-For: Bug #1062383
Control: severity 1062383 important
Control: tags 1062383 moreinfo

This patch was never applied.  Do we not need it after all?  Can we
close this bug now?

Reply via email to