[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: patch suggestions
From: |
Juan Lasca |
Subject: |
Re: patch suggestions |
Date: |
Mon, 15 Aug 2022 16:19:14 -0300 |
Hi Zoltán
> Which git repository did you use as your starting point?
I've used this git repo:
https://git.savannah.gnu.org/cgit/aris.git
Applies to the latest commit by Ian Dunn (2017-09-30).
As I mentioned, it mostly fixes some resource allocations issues that
are somehow harmless, since typical aris executions are relatively
short-lived, memory / resource allocations are not that big as to
cause any serious problem or perceivable stability issues (as I was
able to see), and virtual memory is reclaimed by the operating system
upon process termination, at least on gnu/linux and *bsd. I'm not
quite sure if that would be the case on windows nt.
As for the icons, they're only another humble suggestion.
> Thanks, Juan! I incorporated your changes to my fork:
> https://github.com/kovzol/aris/commit/c38811f9bb7745fa306582c9db48108328317eae
> https://github.com/kovzol/aris/commit/ec4ffdac733ef20a9925ed41f0217291676b3853
I'm glad to see that you found them useful!
Best regards,
Juan