Commit 42e71295 authored Dec 15, 2022 by jtorr

Merge branch 'jtorr-main-patch-33537' into 'main'

[BE] update local declaration

See merge request !334