Merge remote-tracking branch 'origin/maint-0.2.5' into maint-0.2.6
("-s ours" merge to avoid taking reversion of #15064)
This commit is contained in:
commit
c2dcd9b703
("-s ours" merge to avoid taking reversion of #15064)