--- menu.inc.1	2004-11-26 08:01:57.000000000 +0100
+++ menu.inc	2004-11-26 08:01:03.000000000 +0100
@@ -197,12 +197,13 @@
 function menu_get_menu() {
   global $_menu;
   global $user;
+  global $locale;
 
   if (!isset($_menu['items'])) {
     // _menu_build() may indirectly call this function, so prevent infinite loops.
     $_menu['items'] = array();
 
-    $cid = 'menu:'. $user->uid;
+    $cid = 'menu:'. $user->uid. $locale;
     if ($cached = cache_get($cid)) {
       $_menu = unserialize($cached->data);
     }