This has been completed.
> On Dec 13, 2018, at 3:55 PM, Rob Tompkins wrote:
>
> I’ve submitted the jira’s to INFRA for all of the following except [math],
> [numbers], [rng], and [statistics] which IIRC @Gilles sorted out for us (many
> thanks there)
>
> Cheers,
> -Rob
>
>> On Dec 13, 2018,
Thank you Rob for taking care of this.
Gary
On Thu, Dec 13, 2018, 14:03 Rob Tompkins I’ve submitted the jira’s to INFRA for all of the following except [math],
> [numbers], [rng], and [statistics] which IIRC @Gilles sorted out for us
> (many thanks there)
>
> Cheers,
> -Rob
>
> > On Dec 13, 2018
I’ve submitted the jira’s to INFRA for all of the following except [math],
[numbers], [rng], and [statistics] which IIRC @Gilles sorted out for us (many
thanks there)
Cheers,
-Rob
> On Dec 13, 2018, at 9:17 AM, Rob Tompkins wrote:
>
> This vote passes with the following +1’s:
>
> Stefan Bode
