Done and done!
> On Jun 11, 2016, at 05:20, Neil Bowers wrote:
>
> Hi Moritz,
>
> I’m emailing you wearing my PAUSE admin hat: I’m working on resolving
> conflicts caused by PAUSE now considering package names case insensitively.
> This has left us with some situations where two or more peopl
Hi Tim & Co,
> Seems good to me.
Thanks — I’ve dropped the relevant permissions, so this conflict has been
removed.
Cheers,
Neil
Hi Phil,
> I will attempt to make this change within the next week.
Cool, thanks.
I couldn’t find a github repo for your dist, otherwise I’d have done a PR for
this change.
It’s not too late to take advantage of that offer ;-)
Cheers,
Neil
>
> Phil
>
> On Fri, Jun 10, 2016 at 4:04 PM, Neil
