tree 1ffdfb5c692bef6e88f0596894c712edcbdbb0b2
parent 2be86bddb179905620241544da08ed262d112eab
parent e88e680b47719f2a677274e2bda6d3ee81928133
author Daniele Sassoli <danielesassoli@gmail.com> 1741903222 +0000
committer Daniele Sassoli <danielesassoli@gmail.com> 1741903222 +0000

Merge branch 'stable-3.9' into stable-3.10

* stable-3.9:
  Warn about off-line reindexing when using the owners' plugin
  Specify when owners.config label definition is required

Change-Id: I928501a89a49911ab8406b36c3943711c3219ce3