[patch #9305] Use $SED more

[Alex Ameen]

Update of patch #9305 (project libtool):

             Assigned to:                    None => growpotkin             


    _______________________________________________________

Reply to this item at:

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

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