[bugfix,duneproject] Correctly quote maintainers to allow spaces.
Fixes flyspray issue 1418, see https://dune-project.org/flyspray/index.php?do=details&task_id=1418 (cherry picked from commit aae35424) Signed-off-by:Markus Blatt <markus@dr-blatt.de>
Please register or sign in to comment