From: Uwe B. <ou...@ma...> - 2021-05-04 14:45:28
|
>>> "JC" == Julien Claisse <jul...@mo...> writes: > Sure, here it is. > Regards > Julien Thanks, applied, committed and pushed. I realized that I have not pushed to the github mirror for a while: however little has been changed on master, most of the commits where on the new branches, which BTW, I could/should merge to master? |