Hi Michel, now that the branch has been merged to master, are you going to continue working on it or can i kill the branch from the repository? And congrats on the merge :-) Thanks, Albert