[v7r0] Minor fixes + doc on Bdii#4520

Merged

atsareg merged 6 commits into

DIRACGrid:rel-v7r0from

fstagni:v7r0-fixes51

Apr 2, 2020

Commits on Mar 31, 2020

Commits on Apr 1, 2020

Apply suggestions from code review

fstagni
and
andresailer
authored

Commits on Apr 2, 2020