Tags

Tags give the ability to mark specific points in history as being important

v1.0

5a191a11 · Update google doc links (use anonymized versions) · May 03, 2018
```
Ran during OSDI review
```
osdi18

5a191a11 · Update google doc links (use anonymized versions) · May 03, 2018