tree 53bcbcc1261c243cb31a5f1b04592fdcb0d7e4db
parent 6924bed9c023319459fcee71d9db7afae98cb02c
author Zack Williams <zdw@cs.arizona.edu> 1506387707 -0700
committer Zack Williams <zdw@cs.arizona.edu> 1506547043 -0700

[CORD-1924]
Documentation followup patch

Change-Id: I4387182ca58fa3fbb6ebda12f94f46e1a847e68f