Index: trunk/hotfix.php
===================================================================
--- trunk/hotfix.php	(revision 637297)
+++ trunk/hotfix.php	(working copy)
@@ -157,8 +157,27 @@
 
 function wp_hotfix_350_twentytwelve() {
 	add_action( 'pre_http_request', 'wp_hotfix_350_twentytwelve_pre_http_request', 10, 3 );
+	add_action( 'load-themes.php', 'wp_hotfix_350_twentytwelve_themes_php' );
 }
 
+function wp_hotfix_350_twentytwelve_themes_php() {
+	$theme = wp_get_theme('twentytwelve');
+	if ( ! $theme->exists() || ! $theme->errors() )
+		return;
+
+	// Non-English installs weren't affected. Save us a translation!
+	if ( 'en_US' != get_locale() )
+		return;
+
+	if ( current_user_can( 'update_themes' ) )
+		add_action( 'admin_notices', 'wp_hotfix_350_twentytwelve_notice' );
+}
+
+function wp_hotfix_350_twentytwelve_notice() {
+	printf( '<div class="error"><p>Looking for Twenty Twelve? You will need to first update it at <a href="%s">Dashboard &rarr; Updates</a>.',
+		self_admin_url( 'update-core.php' ) );
+}
+
 function wp_hotfix_350_twentytwelve_pre_http_request( $return, $args, $url ) {
 	if ( $url != 'http://api.wordpress.org/themes/update-check/1.0/' )
 		return $return;