tree 1a480bd0a77f6b0303164b89dcda112fa8cbe110
parent fddc91ca6a6778e9f73005f47e72c3a67be41ced
parent 958287afc1406272247af7b9d4dc5189bcbadbe4
author Daniele Sassoli <danielesassoli@gmail.com> 1742381868 +0000
committer Daniele Sassoli <danielesassoli@gmail.com> 1742381868 +0000

Merge branch 'stable-3.9' into stable-3.10

* stable-3.9:
  API should take into account the configured approval label
  Fix GJF 1.7 formatting on java files

Change-Id: I2a47316538a0d7275f38dd719ee9764c33266b35