On 04/11/2018 12:43 PM, Radostin Stoyanov wrote:
> Hi Michal,
> 
> This commit was also created as a pull request by @z3ntu on github
> https://github.com/virt-manager/virt-manager/pull/29

Ah, haven't noticed because we don't use github pull requests. I don't
care which patch gets merged.

Michal

_______________________________________________
virt-tools-list mailing list
virt-tools-list@redhat.com
https://www.redhat.com/mailman/listinfo/virt-tools-list

Reply via email to