Rename 7.1-rc dir into 7.1

This commit is contained in:
Sébastien HOUZÉ
2016-12-02 10:11:27 +01:00
parent aa0c2ccbb2
commit cb536d86e5
36 changed files with 0 additions and 0 deletions