tree ee6ef352e166255481463c48ffb67dfa0e50e3c7
parent 05b73d86fa8be00ed0244c3f4f8746de4e96228a
parent 5e33558cfad1d77f96c26885cd492e0edf02174a
author Luca Milanesio <luca.milanesio@gmail.com> 1703203478 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1703203478 +0000

Merge branch 'stable-3.6' into stable-3.7

* stable-3.6:
  Do not propagate internal indexing operations

Change-Id: Id64ca5784237c5d810da0f27f1cc766d538cf1a4