The github tracker will ensure that the issue is not lost. Although it may remain just as unfixed. On Fri, Jan 26, 2018 at 8:45 PM Mark H. David mhd@yv.org wrote:
Is this list the best way to report bugs and issues with SLIME for everyday users? Is the github repo a better place? Is there some other list? Thanks, Mark