On 16/04/2023 18:01, Benoit wrote: > What is the right tag or branch of the git repository? This is the information shown in the about dialog: Build date: 12/04/2023 15:32 (target: RelWithDebInfo) Revision: 66b84e1ba8f8003994fa398a669e1ccc4224a901 Branch: HEAD Olivier