On Tuesday 08 January 2019 17:32:55 Andy Shevchenko wrote: > On Fri, Dec 28, 2018 at 12:18 AM Pali Rohár 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. -- Pali Rohár pali.rohar@gmail.com