Update revisions.txt

Update revisions.txt

Updated revisions.txt

Updated revision log

Updated build_pull_request.bash

Merge branch 'ide-1.5.x' of github.com:arduino/Arduino into ide-1.5.x

Merge branch 'ide-1.5.x' of github.com:arduino/Arduino into ide-1.5.x…

…-java7

Added support for retina display on macosx

Fix arduino#2309

Ignoring GNOME .directory files

Merge branch 'master' into ide-1.5.x. Updated revision log.

Conflicts:
	build/shared/examples/09.USB/Keyboard/KeyboardLogout/KeyboardLogout.ino
	hardware/arduino/boards.txt