we are in git devel for the moment with 6.1.0

Authored by cgilles on Jan 22 2019, 9:37 AM.

Description

we are in git devel for the moment with 6.1.0

Details

Committed
cgillesJan 22 2019, 9:37 AM
Parents
R482:a1412320f8d8: Merge branch 'master' into dplugins
Branches
Unknown
Tags
Unknown