tree 9187f2adcba5b8f2f99930461878bb3967d2afdf
parent 386ea6694d665aa4fa6767d2f706bafce8f7acdc
author Pasquale Congiusti <pasquale.congiusti@gmail.com> 1660210038 +0200
committer Pasquale Congiusti <pasquale.congiusti@gmail.com> 1660222124 +0200

doc: local operator id procedure

Closes #3472