[Dune] dune-disc-commit list

[Markus Blatt]

Works for me TM.

To see whether you are subscribe just send and email with subject password
to dune-disc-commit at dune-project.org .

To subscribe do the same with subject subscribe.

Markus