@s{quotedtext}
@s{quotedtext}
Sticky for creating a pull request: good idea.
JollyGreen: if you know, or are willing to learn, git then working from the git repo ( https://github.com/bitcoin/bitcoin )is smoother. github has built-in support for turning a development branch into a pull request.