2018-11-23 1:48 GMT+01:00, Carl Eugen Hoyos <ceffmpeg at gmail.com>: > 2018-11-22 23:47 GMT+01:00, Mark Thompson <sw at jkqxz.net>: >> Standard sed does not support EREs. > > Please mention ticket #7310 in the commit message. Ping. Carl Eugen