There's been a few couple of upgrades to the Arudino IDE over the last month.
https://github.com/arduino/Arduino/blob/master/build/shared/revisions.txt
As I'm getting started with the Yun it's nice to see that some of the issues around that have been resolved but I think the feature I'm most interested in is the Library Manager, this should make working on different projects a whole lot easier.