#25 Patch rename in glibc-patches creates patch with new name in dist-git but does not delete old name
Opened by ashankar. Modified

I noticed that a patch rename in glibc-patches (i.e. editing the patch name in the commit log) led to creation of a file with new name of patch, but no deletion of old name. But it seems that the script is aware of renames, so maybe it can do this automatically.


Metadata