[Bug default/26571] get_vmlinux_path_from_kernel_dist contains useless code

[dodji at redhat dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=26571

dodji at redhat dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED

--- Comment #2 from dodji at redhat dot com ---
Right, this is a thinko, of course, and it ought to be fixed.

Thank you for spotting this.

The obvious fix has been applied to master at
https://sourceware.org/git/?p=libabigail.git;a=commit;h=a434894e4dbff278d651b6dd5875fc9b4bfec1bf

Thanks!

-- 
You are receiving this mail because:
You are on the CC list for the bug.