tree aa41ad3adf619843c07510682bb8dae3be8cfbf3
parent e88e680b47719f2a677274e2bda6d3ee81928133
parent e8889908079c4d977118a1a4d731ea1b43b14ea3
author Daniele Sassoli <danielesassoli@gmail.com> 1742381839 +0000
committer Daniele Sassoli <danielesassoli@gmail.com> 1742381839 +0000

Merge branch 'stable-3.8' into stable-3.9

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

Change-Id: I6260d5df05e3bd02eb7942d84fd41c4a35b72818