coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Release of Coq 8.13+beta1

From: Michael Soegtrop <MSoegtrop AT yahoo.de>
To: coq-club AT inria.fr, Richard Ford <richardlford AT gmail.com>
Subject: Re: [Coq-Club] Release of Coq 8.13+beta1
Date: Thu, 17 Dec 2020 09:09:03 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=MSoegtrop AT yahoo.de; spf=Pass smtp.mailfrom=msoegtrop AT yahoo.de; spf=None smtp.helo=postmaster AT sonic309-20.consmr.mail.ne1.yahoo.com
Ironport-phdr: 9a23:BnhhahCXhvM1rIwUd6fMUyQJP3N1i/DPJgcQr6AfoPdwSPX6ocbcNUDSrc9gkEXOFd2Cra4d1KyP4vurADRRqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba5wIRmssAncsscbjYR/JqotzhbCv2dFdflRyW50P1yYggzy5t23/J5t8iRQv+wu+stdWqjkfKo2UKJVAi0+P286+MPkux/DTRCS5nQHSWUZjgBIAwne4x7kWJr6rzb3ufB82CmeOs32UKw0VDG/5KplVBPklCEKPCMi/WrJlsJ/kr5UoBO5pxx+3YHUZp2VNOFjda/ZZN8WWHZNUtpUWyFHH4iybZYAD/AZMOhFsYf9qVsAoxiwCwaiC+zgyCNHiHDx06Ahz+QsExvL0BA6Et8AsnnZqsj+OqcIUeCyyanF1TLNb/JK1jf98ofHbBQhquyRU7J3b8XRxlUvFxnCjlWItIfoODSb2PkKs2eF4OpgSfivi2k/qwxqojmg3Mcsio7Oho4P11/L6zx0zYAoLtK3VEB1e8SrEIdMty6ELYt2RNsvTn10tSsmxbALpJG1cDUWxZkoyBPRZOCLfpWU7h/tVuucPzh2iG95dL++iBi/9Uatx+PiW8Sp01tHoSRLn9vMu30Lyhfd6dCHR+N880qgwzqDygHe5+9eLUwplqfWJIQtzqM/m5cSt0nIAzX4l1/sjKCMc0Up4uio5PrjYrXhvpKcLIh0igf/MqsylMGzHeA1PhEQU2SH4+izyLrj/UviQLVPlP06iKzZv4rbJcQfvKK5BRFa3ps55xe/FTim0NMYnX4dIF1ZfxKHipDlO1DIIP/mEfeym1WhnTZxy/zbP7DsDI/BImXAnbruZ7px9kFRxQsrwdBa/Z1UC7UBIPzpWk/2sdzVFho5Mxezw+n5B9V9ypkeWWWXAqKCMKLdq1+I5uUoI+WWeYAapi7xK+I56P72kX85hVgdcLG10psQcXC0B+hpI0GEYXX3mdoBCmcLvg8mTOPwklGCUDhTZ2yzX60m/D07BpimXs//QdWmh6XE1yOmFLVXYHpHAxaCCzOgTYSPW/4WZGq8JdVt2mgeVLOhQpUt0R+prgPSxL9uL+6S8Sod48HNzt9wssjSnhE7+Dg8NMOQ3H2XSHk8ykYzQDI5wLp4uWRsw1eE1u50jqoLRpRo+/pVX1JiZtbnxOtgBoW3A1qZJ4rbeBOdWtyjRAoJYJcxztsJOBcvANKkjxuYh3vvWedTnLuNH5kutKfV3ny3IcskjWfP1K4myVIhR5kXbDz0tutE7wHWQrXxvQCcnqeue74b2XeVpnaKzW2J+k1VAlcpDff1GEsHb06TluzXo1vYRub2W6UuMgxGj8KPePNH

Dear Richard,

> It's been 8 days since I sent the above email and I've not seen a response. Did this get lost?

It helps to pick a subject that is related to the content of an email. Most subscribers wouldn't expect your question under this subject and might not read it because they are not interested in the 8.13+beta1 release.

Best regards,

Michael

[Coq-Club] Release of Coq 8.13+beta1, Enrico Tassi, 12/08/2020
- Re: [Coq-Club] Release of Coq 8.13+beta1, Richard Ford, 12/09/2020
  - Re: [Coq-Club] Release of Coq 8.13+beta1, Roger Witte, 12/09/2020
  - Re: [Coq-Club] Release of Coq 8.13+beta1, Richard Ford, 12/16/2020
    - Re: [Coq-Club] Release of Coq 8.13+beta1, Théo Zimmermann, 12/16/2020
      - Re: [Coq-Club] Release of Coq 8.13+beta1, Richard Ford, 12/17/2020
        
        Re: [Coq-Club] Release of Coq 8.13+beta1, Jim Fehrle, 12/17/2020
    - Re: [Coq-Club] Release of Coq 8.13+beta1, Michael Soegtrop, 12/17/2020