subject:"\[PULL v5 00\/11\] xenpvh5\-tag"

Re: [PULL v5 00/11] xenpvh5-tag

2023-06-17 Thread Richard Henderson

On 6/16/23 01:52, Stefano Stabellini wrote: Hi Peter, Richard, Vikram fixed the gitlab test problem yet again. I appended a tiny qtest fix at the end of the series. Cheers, Stefano The following changes since commit 7efd65423ab22e6f5890ca08ae40c84d6660242f: Merge tag

[PULL v5 00/11] xenpvh5-tag

2023-06-15 Thread Stefano Stabellini

Hi Peter, Richard, Vikram fixed the gitlab test problem yet again. I appended a tiny qtest fix at the end of the series. Cheers, Stefano The following changes since commit 7efd65423ab22e6f5890ca08ae40c84d6660242f: Merge tag 'pull-riscv-to-apply-20230614' of