Records: supertype?
Kevin Bourrillion
kevinb at google.com
Tue Jun 11 20:03:42 UTC 2019
Previous message:
Records: supertype?
Next message:
Records: supertype?
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
It sounds to me like nothing bad whatsoever will come from leaving it out.
Previous message:
Records: supertype?
Next message:
Records: supertype?
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the amber-spec-observers mailing list