Google Git
Sign in
gerrit / gerrit / 79389d51931f7487c31fc25206d8ca318b8822f3^1..79389d51931f7487c31fc25206d8ca318b8822f3 / .
commit79389d51931f7487c31fc25206d8ca318b8822f3[log] [tgz]
authorLuca Milanesio <luca.milanesio@gmail.com>Thu Sep 12 23:36:40 2019 +0100
committerLuca Milanesio <luca.milanesio@gmail.com>Thu Sep 12 23:37:51 2019 +0100
tree94d42922434f93da87c837f3b2a9eecd06cd83dc
parent6d571c5d4008a51dc102f5489b1270a1d4f36dc6 [diff]
parenta37ba6fc0b04cb307be2f9dcd2a20400c00e2ce7 [diff]
Merge branch 'stable-2.14' into stable-2.15

* stable-2.14:
  Turn off autoReindexIfStale by default

Change-Id: I15639266b723ff2df7a62982dd43a5a6b1026430