BaseXdb/basex — pull request #983 by LeoWoerteler (2014-08-12 15:04:19+00:00)
Title: [MOD] Use type parameter in `Option`.

For the `stable` branch.