Commit 0d45c3cf63692151166ca7071f755dfaa8922a67

Behdad Esfahbod 2015-12-30T16:09:39

[docs] Turn bash tracing on