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 <luca@xxxxxxxxx> 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@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/virt-tools-list
