On 2015-04-24, Camm Maguire <[email protected]> wrote: > Post transition, I think a lot of #+gcl #-gcl can be removed.
Will the #+gcl stuff continue to work as it does now? i.e. will it simply be superfluous? If so, I'd be happy to accept patches to remove #+gcl stuff. I don't think we need to wait -- only developers and a very few others are affected. best Robert Dodier _______________________________________________ Gcl-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gcl-devel
