>>>>> Marco Giuliano >>>>> on Fri, 31 Aug 2018 16:50:56 +0200 writes:
> Hi Martin, should I file a formal bug report somewhere or > you've already done it ? No, I haven't, and as I may not address this bug further myself (in the near future), it may be best if you file a formal report. I will create an account for you on R's bugzilla - you will be notified and can update your initial pseudo-random password. Best, Martin ______________________________________________ R-devel@r-project.org mailing list https://stat.ethz.ch/mailman/listinfo/r-devel