tree ddee55ee2dc01f5672b20021a5e9d39e6a9ad577
parent 312648e0d973352ec380a3796fa9e792c405dbcf
author Tor Jeremiassen <torerik@google.com> 1737733798 -0800
committer Tor Jeremiassen <torerik@google.com> 1737736199 -0800

Change default core version to 1.00

PiperOrigin-RevId: 719301397
Change-Id: I94b1d99b634a78afbeb4a4935a36678a4184709d