On 2/8/19 8:53 PM, Scott Kostyshak wrote: > On Fri, Feb 08, 2019 at 10:40:48PM +0100, Kornel Benko wrote: >> Am Freitag, 8. Februar 2019 22:14:55 CET schrieb Jürgen Womser-Schütz >> <jws1...@gmx.de>: >>> Hi alltogether, as I can see: no volunteers desired. >>> Best regards Jürgen >>> >>> >>> Am 06.02.2019 um 16:25 schrieb Jürgen Womser-Schütz: >>>> Hi, >>>> >>>> in the surrounding field of bug #11484 I tried to improve the "user >>>> experiance" by checking the existence of the user-specified listing file. >>>> I changed two files: >>>> src/frontends/qt4/GuiInclude.cpp >>>> src/frontends/qt4/GuiInclude.h >>>> The diff-output is attached. >>>> >>>> Jürgen >> Don't be disappointed. Sometimes it may take some time until some experienced >> developer checks your patch. > +1
And, just to be clear, traffic on the list has just generally been a bit light lately. My sense is that a lot of people are very busy right now. We're *all* volunteers with demanding day-jobs. I am as busy with classes, etc, right now as I can ever remember being. And now I'm sick. :-( Riki