That fix is fine. Would you like to get yourself set up with a fedoraproject.org and join the gitelfutils group so you can push your own commits?
Thanks, Roland _______________________________________________ elfutils-devel mailing list [email protected] https://lists.fedorahosted.org/mailman/listinfo/elfutils-devel
