You're right - the other PR will have to be merged first (if it's OK).