hg: amber/amber: Automatic merge with records-and-sealed

[maurizio.cimadamore at oracle.com]

Changeset: 00d9f8de0e3d
Author:    mcimadamore
Date:      2019-09-19 15:47 +0000
URL:       https://hg.openjdk.java.net/amber/amber/rev/00d9f8de0e3d

Automatic merge with records-and-sealed