releaser: Prepare repository for 0.25-DEV

[ci skip]
This commit is contained in:
Bjørn Erik Pedersen
2017-06-21 13:58:01 +02:00
parent 1ac4dbb900
commit 3554fd1218
4 changed files with 5 additions and 71 deletions

2
docs

Submodule docs updated: 5306e086f7...ad7147c2d1