[patch #9305] Use $SED more

[Alex Ameen]

Update of patch #9305 (project libtool):

                  Status:                    None => Done                   
             Open/Closed:                    Open => Closed                 


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/patch/?9305>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/