On Mon, Oct 5, 2015 at 5:36 PM, Emil Velikov <emil.l.velikov at gmail.com> wrote: > P.S. Does anyone recall the consensus wrt adding the 2015 extensions > to GL3.txt ? I think the decision was that the list wouldn't contain any non-core extensions. Marek