Commit 71e7dd08 authored Apr 25, 2023 by Vinit Veera

Merge branch 'user-configuration-of-binary-names' into 'main'

User configuration of binary names

See merge request !20