Charles, That's terrific! Can you open a pull request on GitHub, then we can merge your changes in and publish a new release of the extension?
Thanks, Robert Grider On Wednesday, May 10, 2017 at 11:05:22 AM UTC-5, Charles wrote: > > I've had to update the shell extension to work with v6.0. It's not > originally my extension, but I'd be happy to post the updated version if it > would be useful. How should I handle this? > > Charles > -- You received this message because you are subscribed to the Google Groups "netlogo-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
