On Sat, Feb 9, 2019 at 5:40 PM Pali Rohár <pali.ro...@gmail.com> wrote: > > On Tuesday 08 January 2019 17:32:55 Andy Shevchenko wrote: > > On Fri, Dec 28, 2018 at 12:18 AM Pali Rohár <pali.ro...@gmail.com> wrote: > > > On Monday 17 December 2018 10:50:04 Pali Rohár wrote: > > > > On Wednesday 12 December 2018 14:57:36 Pali Rohár wrote: > > > > > > Thanks for review of #94! As next you can take #92 from list. > > > > > > Andreas, can you look at next pull requests? > > > > Looking from a side how slow this is being processed I think the best > > option to fork and abandon the old project if author / maintainer by > > some reason wouldn't like to give a push rights. > > Just quick update: I got github permission for merging pull requests. > I already merge some small changes. Others needs and waiting for review.
Good news for the project, thanks, Pali! -- With Best Regards, Andy Shevchenko
