[$] Some 5.13 development statistics

As expected, the 5.13 development cycle turned out to be a busy one, with16,030 non-merge changesets being pulled into the mainline over aperiod of nine weeks. The 5.13release happened on June 27, meaning that it must be time for our traditional look at the provenance of the codethat was merged for this kernel.