7.x-4.2
8bdeb223 · Attempt to fix https://drupal.org/node/2199913: 'Undefined Index: theme_engine' ·