control: merge 842366 842367

#842366 is a duplicate. Sorry for this.

Cyrille

Reply via email to