Re: Merging PR for MSHARED-817

2019-09-13 Thread Robert Scholte
I'll be offline for about 2 weeks, but I guess nobody else has enough knowledge to verify this... Robert On Fri, 13 Sep 2019 21:39:49 +0200, Gabriel Belingueres wrote: Hi! Is there any chance to merge PR for MSHARED-817 [1]? I would need that change in place as base to make a final comm

Merging PR for MSHARED-817

2019-09-13 Thread Gabriel Belingueres
Hi! Is there any chance to merge PR for MSHARED-817 [1]? I would need that change in place as base to make a final commit for MSHARED-801 [2]. [1] https://github.com/apache/maven-artifact-transfer/pull/2 [2] https://github.com/apache/maven-artifact-transfer/pull/1 Kind regards, Gabriel