0.12dev: Merged [8303] from 0.11-stable - `config.getpath()` and `PathOption` (#8358).
Authored by: osimons 2009-06-26
Parent: [r8303]
Child: [r8305]