Re: [UPDATE] graphics/ipe 7.2.11 -> 7.2.12

Ping!

On June 27, 2019 10:06:17 AM GMT+02:00, Alessandro DE LAURENZIS <just22@atlantide.t28.net> wrote:
>Hello Brian,
>
>On 22/06/2019 23:40, Brian Callahan wrote:
>>
>>
>> On 6/22/19 12:51 PM, Alessandro De Laurenzis wrote:
>>> Ping!
>>
>> This needs library bumps.
>>
>
>Thanks for your feedback and sorry, I've never fully understood this
>topic... (any hints to relevant docs would be appreciated).
>
>Please find enclosed a new diff; I hope it addresses the problem.
>
>All the best
>
>--
>Alessandro DE LAURENZIS
>[mailto:just22@atlantide.t28.net]
>Web: http://www.atlantide.t28.net
>LinkedIn: https://www.linkedin.com/in/delaurenzis/

--
Inviato dal mio dispositivo Android con K-9 Mail. Perdonate la brevità.