On 12/17/2015 08:18 PM, Paul Sandoz wrote:
> 
>> On 17 Dec 2015, at 17:54, Roger Riggs <roger.ri...@oracle.com> wrote:
>>
>> I agree that you should just push it and move on.
>>
> 
> +1

Thanks Claes, Sherman, Roger, and Paul! Pushed.

Cheers,
-Aleksey


Reply via email to