On 5 August 2017 at 19:46, Paul Eggert <egg...@cs.ucla.edu> wrote: > Thanks, I installed the attached somewhat-more-fancier patch; does it work > for you? >
That works fine; thanks very much. -- https://rrt.sc3d.org <http://rrt.sc3d.org>
On 5 August 2017 at 19:46, Paul Eggert <egg...@cs.ucla.edu> wrote: > Thanks, I installed the attached somewhat-more-fancier patch; does it work > for you? >
That works fine; thanks very much. -- https://rrt.sc3d.org <http://rrt.sc3d.org>