Note that @jacobrosenthal has submitted a pull request, but before his contributions can be merged he must sign a contributor's agreement. However, because this is a trivial change, I am submitting the same patch to resolve the inaccuracy in options.md quickly.
This change is related to https://github.com/ARMmbed/target-nordic-nrf51822/pull/6, thanks to @jacobrosenthal for spotting it.
Note that @jacobrosenthal has submitted a pull request, but before his contributions can be merged he must sign a contributor's agreement. However, because this is a trivial change, I am submitting the same patch to resolve the inaccuracy in
options.mdquickly.@pan-