use extract_options! #6139

Merged
merged 1 commit into from May 3, 2012
Commits on May 3, 2012
  1. use extract_options!

    pwim committed May 3, 2012