On 06.07.2020 22:55, Alex Bennée wrote:
Pavel Dovgalyuk <pavel.dovgal...@ispras.ru> writes:Ping.I started going through this and then ran into some merge conflicts. Are all the pre-requisite patches now merged via Paolo's tree?
Yes, everything is merged. I pulled the latest master minute ago and got no conflicts with the patches. Pavel Dovgalyuk