>>>>> "Mike" == Mike Stump <mikest...@comcast.net> writes:
Mike> So the normal way to do this would be to make the plugin front-end Mike> non-default and then never gate any release decisions upon the state Mike> of the that front-end. Not sure if this is overly pedantic, but the plugin is just a library, not a front end. It works with the existing C front end. I think the main issue arising here is that the plugin doesn't have any in-tree tests. You have to have gdb to test it. Tom