I just updated my WP today to 3.4.2 and found a odd thing, just want to mention that i run WP with Norwegian translation (3.4.2–nb_NO)
If i look in the "appearance" menu (utseende) i see "Theme options" that is not translated (should be "tema valg" or something similar i guess). Also if i go into that option i see nothing is that page (/wp-admin/themes.php?page=functions.php) translated.
I just checked my local PC that also run my blog, this run version 3.4.1 (3.4.1–nb_NO) and this missing translation is even showing there.
This should be easy to reproduce, but if a screen capture is required feel free to drop me a personal message.