This is fine but add a NEWS item warning people that any existing sources using the old name will have to be updated.
Thanks, Roland _______________________________________________ elfutils-devel mailing list [email protected] https://fedorahosted.org/mailman/listinfo/elfutils-devel
