Closed danielballan closed 9 years ago
Merging own; this is a small change to make docs build on OSX.
Merging own; this is a small change to make docs build on OSX.