Commit 341818254b26cda05532160eeb640ab8acc67243

Carlos Martín Nieto 2015-06-26T11:41:14

Merge pull request #3234 from ethomson/dont_update_index_unnecessarily Dont update index unnecessarily