tree 35967ffd37e7f259df4a1460b5462750065fbf6b
parent 925ac6b697809015e0f7aa7094e6a5f26187990f
author Larry Peterson <llp@cs.princeton.edu> 1692996468 -0700
committer Larry Peterson <llp@cs.princeton.edu> 1692996468 -0700

resetcore hint

Change-Id: Idbda801cc6e123910964592b339fa3d107558260