Thanks! Fixed in R-devel. Best Tomas
On 10/29/18 12:34 AM, David CARLIER wrote: > Hi dear list, > > Here a little memory leak fix proposal. > > Kind regards. > Thanks. > > ______________________________________________ > R-devel@r-project.org mailing list > https://stat.ethz.ch/mailman/listinfo/r-devel [[alternative HTML version deleted]] ______________________________________________ R-devel@r-project.org mailing list https://stat.ethz.ch/mailman/listinfo/r-devel