On 08/15/2017 10:27 AM, Joseph Myers wrote:
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).
Thanks for the update. Can I subscribe to this list?
(It might be helpful to post an announcement of what's going on
here for those of us who aren't subscribed to the overseers list
or even are aware of its archives.)
Martin
