I don't think that will be a problem because that's the same commit that is
shared between the two pull request but your right, now that the first PR
is merged, I will withdraw it...