On Tue, 10 Jul 2018, Manfred Spraul wrote:
Which patch do you prefer?I have seen two versions, and if I have picked up the wrong one, then I can change it.
Nah, you picked up the right one. I was only pointing out at the alternative patch so that it didn't come out of nowhere for the rhashtable folks. Thanks, Davidlohr