Suspicious upgrade to 3.8.2 from 3.8.1?
 

I have just upgraded my forum from vBulletin 3.8.1 to 3.8.2. The upgrade went seemingly smoothly, but after the upgrade when I was redirected to the admin CP, I did not get the "You must delete install.php from the install directory before proceeding" message I have always (as far as I remember) been subjected to immediately after an upgrade. Is something wrong or is deleting that file no longer necessary after an upgrade?