On 04/11/2018 07:09 AM, Michal Privoznik wrote:
> 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.
> 

FYI the github patch was merged

commit e9ba30a255f5c5a985bade205456c24c35ec55ac
Author: Luca Weiss <l...@z3ntu.xyz>
Date:   Sun Apr 8 18:40:04 2018 +0200

    setup: Install files in new virtinst folders

- Cole

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

Reply via email to