Draft Object Serialization Specification for records - construction/destruction

[Chris Hegarty]

Peter,

> On 7 Oct 2019, at 15:21, Peter Levart <peter.levart at gmail.com> wrote:
> 
> ...
> 
> I suggest nothing. He will quickly realize that he can't meaningfully implement readExternal method and abandon the attempt. I don't even think there has to be special code for instances that implement Externalizable if they are records.

Ok. To confirm, no changes to the draft are needed, right?

-Chris.