tree 49419311a00fc86bd0e7502fa8dc593e4836dedd
parent 881ece853eb390abc1dea9e388e4d0b9ba0c51da
author Zack Williams <zdw@cs.arizona.edu> 1506387707 -0700
committer Zack Williams <zdw@cs.arizona.edu> 1506547048 -0700

[CORD-1924]
Documentation followup patch

Change-Id: I4387182ca58fa3fbb6ebda12f94f46e1a847e68f
(cherry picked from commit 144027fe2249450b7a95b2171e0dcf8540703789)