tree 56228779e07743756e073b091d6841e9fd16ef6e
parent 74bda36250254a3bdbefec473d4ee5f5fef96d81
parent 92b74a5064fd892f5e492a80de9397b61a5a92d2
author Daniele Sassoli <danielesassoli@gmail.com> 1705106569 -0800
committer Daniele Sassoli <danielesassoli@gmail.com> 1705106578 -0800

Merge branch 'stable-3.5' into stable-3.6

* stable-3.5:
  Make extra stop timeout configurable

Release-Notes: skip
Change-Id: I3aa276bc84bd11e858b13ea19ef8e2878145ab07