On Tue, 15 Aug 2017, Martin Sebor wrote: > It looks like the data loss extends beyond 8/14. Bug 81840 > was created Sunday afternoon but is not in the database: > > https://gcc.gnu.org/ml/gcc-bugs/2017-08/msg01303.html > > (Strangely, 81841 is there, as is 81839.)
That's another 81839 replacing the original 81839. As I noted on overseers, the cut-off for GCC Bugzilla appears to be between <https://gcc.gnu.org/ml/gcc-bugs/2017-08/msg01289.html> and <https://gcc.gnu.org/ml/gcc-bugs/2017-08/msg01290.html>, early Sunday morning UTC (and for sourceware Bugzilla it may well be similar). -- Joseph S. Myers jos...@codesourcery.com
