svn commit: r456696 - in head/science: . PETSc PETSc/files

[Adam Weinberger]

> On 20 Dec, 2017, at 14:13, Yuri <yuri at freebsd.org> wrote:
>
> On 12/20/17 11:40, Adam Weinberger wrote:
>> Good catch! Thanks, Thierry.
>>
>> Yuri, the port needs to be deleted and re-added as a copy.
>
>
> Ok,
>
>
> I will do this today.
>
> Do I need a separate approval for this, or the original approval will do?

You need separate approval for each commit, but I'll give it to you in  
advance here. I trust you.

# Adam


--
Adam Weinberger
adamw at adamw.org
http://www.adamw.org