This commit developed by Jonas Schnelli appears to be in 0.13 but isn't in the master branch. Isn't this functionality also needed in 0.14 onwards?
I suspect this should either be in master (as it is in 0.13), or it got somehow left in 0.13 by mistake (e.g. was supposed to be removed by #8378).