diff options
| author | Zhaozhong Ni <nzz@google.com> | 2018-08-23 13:57:30 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-08-23 13:59:20 -0700 |
| commit | ba8f6ba8c899d2e900fa7e9ee5aede31cba1de9c (patch) | |
| tree | cc6d7f8428f45742509be82cb8cd4f1e51fa9c20 /pkg/sentry/kernel/BUILD | |
| parent | 001a4c2493b13a43d62c7511fb509a959ae4abc2 (diff) | |
sentry: mark idMapSeqHandle as savable.
PiperOrigin-RevId: 209994384
Change-Id: I16186cf79cb4760a134f3968db30c168a5f4340e
Diffstat (limited to 'pkg/sentry/kernel/BUILD')
0 files changed, 0 insertions, 0 deletions