On March 8, 2016 at 4:55:56 PM, DennisHeimbigner (notifi...@github.com) wrote:
IMO the extra extension is unneeded and undesirable. What is the argument for it? =Dennis Heimbiigner Unidata — Reply to this email directly or view it on GitHub.
IMO the extra extension is unneeded and undesirable. What is the argument for it? =Dennis Heimbiigner Unidata
— Reply to this email directly or view it on GitHub.