I believe it was a minor bug fix update. The update for 4.2 isn't even out for unlocked devices, so you still have a little bit to wait for that.
The FAQ page
has the answer to every question you could ever have about the forums, ever!
See something you don't think should be here? Use the report button to let the moderators know!