Use GNU sed (particularly for macOS)

Christian Rochacommitted parent 159960cf22464adb7f9623db6e33c7afb4a63293d22db05Browse files
1 file changed+1−0

Rendering diff…