tree 8feecf755406f5baabbb4793da4bf33173cc9bb5
parent 7173c9641df9b39a5f07d3b57a8c05cabefcfa52
parent d072d449ffa2912f5d922f23e0bc9cac4712a337
author Andrey Andreev <narf@devilix.net> 1486974810 +0200
committer GitHub <noreply@github.com> 1486974810 +0200

Merge pull request #5016 from zploskey/fix_userguide_version

[ci skip] Increase version in userguide to 3.1.4-dev