Issue #13933: merge