Commit History

Author SHA1 Message Date
  Thomas Devoogdt 32753c6f9d .github: add a pull request warning that explains the mailing list workflow 1 year ago