FWIW, when I download the 2.7.2 update from Plugin Boutique, the selected OS changed from Windows to Apple after I selected the new update. I thought this happened on 2.7.1, and I confirmed it today.
Not a big deal, but if you don’t catch the switch, you get to go through the download twice and we know how some of us love long download times.