On 7/15/15 7:39 AM, Mike wrote: > FYI, I didn't expect the AliasTuple PR to be merged so quickly. Me neither. Since the bikeshedding gates have been opened, let the flood subside a little before taking action. -- Andrei