Issue #14018: fix merge error
1 file changed