doc: miscellaneous OpenOptions:append improvements#31093
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 24, 2016
tshepang:misc-doc-improvements
Merged
doc: miscellaneous OpenOptions:append improvements#31093bors merged 1 commit intorust-lang:masterfrom tshepang:misc-doc-improvements
bors merged 1 commit intorust-lang:masterfrom
tshepang:misc-doc-improvements
