Hi Abdelatif, On 1/3/20, Abdelatif Guettouche <abdelatif.guettou...@gmail.com> wrote: > A little of topic... > @Alan PR32 is still in the repo and is ahead of master. Looks like you > didn't merge it. > BTW dev is also out of synch with master. All the PRs are getting > merged to master. >
I just removed the pr32 branch. I think everything is fine now. Thank you very much. BR, Alan