On 02/10/15 17:47, Samuel Thibault wrote: > I have pushed a cherry-pick commit to the sthibault/release/2.19 branch. > Allan, could you pull it? You are fine to commit this yourself. (I will not be at a suitable machine until Tuesday). Allan