Update revisions.txt
Releasing 1.6.4
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