Merge pull request #5481 from pieterlexis/new-recursor-docs
authorPieter Lexis <pieterlexis@users.noreply.github.com>
Wed, 12 Jul 2017 11:07:14 +0000 (13:07 +0200)
committerGitHub <noreply@github.com>
Wed, 12 Jul 2017 11:07:14 +0000 (13:07 +0200)
New recursor documentation (for 4.1 and up)


Trivial merge