Thanks! r244116.
- Hans
On Wed, Aug 5, 2015 at 1:23 PM, Rafael Espíndola
wrote:
> It is probably very safe, so fine by me.
>
> On 5 August 2015 at 16:19, Hans Wennborg wrote:
>> Ping?
>>
>> On Thu, Jul 30, 2015 at 10:20 AM, Hans Wennborg wrote:
>>> Rafael: ping?
>>>
>>> This is probably not t
Ping?
On Thu, Jul 30, 2015 at 10:20 AM, Hans Wennborg wrote:
> Rafael: ping?
>
> This is probably not terribly important, but I would like to get it off my
> list.
>
> On Wed, Jul 29, 2015 at 10:16 AM, Hans Wennborg wrote:
>> Ping?
>>
>> On Mon, Jul 27, 2015 at 1:29 PM, Hans Wennborg wrote:
>>
