Comment 14 for bug 882388

Revision history for this message
Philip Peitsch (philip-peitsch) wrote :

It may be that the last time I did this operation was 1.5 years ago, and things have grown enough that I notice this now... not sure! We do have roughly 20,000 more commits this time around (up from 10,000)