Re: [update] Lagrange to 1.13.7

[Omar Polo]

Florian Viehweger <open...@out-of-creativity.de> wrote:
> Hi,
> 
> this is a simple update for Lagrange to 1.13.7.
> 
> Some testing done on amd64. No issues found.
> 
> portcheck and 'make port-lib-depends-check are happy.

committed, thanks!