Undefined index: distribution_name in drupal_install_profile_distribution_name()

Nach meinem letzten Update auf Drupal 7.3 hatte ich nun endlich auch diesen schönen Fehler: "Notice: Undefined index: distribution_name in drupal_install_profile_distribution_name() (Zeile 207 von/..../includes/install.inc)."

Da es ja schon einen Lösungsvoschlag gibt, erweitere ich ihn hier nur noch für Installationen von drupalcenter.de.

Laut des Lösungsvorschlags unter: https://www.drupal.org/node/1170362/ heißt es:
"To minimize the number of new comments asking for it, here's a work-around for current Drupal 7 users: You need to enable the profile used to install Drupal by updating the system table. For example: UPDATE system SET status=1 WHERE name='standard'; will enable the Standard profile. If you don't know which profile was used, just use 'standard'."

"Standard" ist in meinem Fall aber nicht zu finden, dafür aber "drupalcenter".

Wir ändern also unsere Abfrage folgendermaßen ab: UPDATE system SET status=1 WHERE name='drupalcenter'; , oder suchen über phpmyadmin in der Systemtabelle nach dem "name"-Eintrag drupalcenter, ändern hier den Status auf 1 und der Fehler sollte verschwunden sein.

Bitte vorher zur Sicherheit ein Backup der Datenbank machen!