8 Aug
2018
8 Aug
'18
1:20 a.m.
Le 2018-07-12 22:02, Thomas Mayer a écrit :
Hi,
On 06.07.2018 18:24, trebmuh(a)tuxfamily.org wrote:
Done. Thanks.
Cheers,
Olivier
Read
https://github.com/jwm-art-net/Petri-Foo/issues/14#issuecomment-161447417
(jwm-art-net
is/was the main dev)
Yes, jwm-art-net was the main dev, and has merged some pull requests,
the latest one by trebmuh and me, but he has also told me that his
enthusiasm for maintaining petri-foo was close to 0. I have thought
about taking over the duty and at least provide bugfixes, but have not
found the time to do so (or have spent my free time otherwise).
For info, Debian is removing it for the next
stable :
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=885781
Maybe other people who have contributed to the development in the past
will be interested in creating a dev team to keep it in distributions
and fix the occassional bugs.
Are you in?