The attachment "0001-Fixes-Ubuntu-Bug-1856541.patch" seems to be a
patch. If it isn't, please remove the "patch" flag from the attachment,
remove the "patch" tag, and if you are a member of the ~ubuntu-
reviewers, unsubscribe the team.
[This is an automated message performed by a Launchpad user o
The attached patch should fix this issue.
Best.
** Patch added: "0001-Fixes-Ubuntu-Bug-1856541.patch"
https://bugs.launchpad.net/ubuntu/+source/slepc/+bug/1856541/+attachment/5312900/+files/0001-Fixes-Ubuntu-Bug-1856541.patch
--
You received this bug notification because you are a member of
