On Sat, Aug 12, 2017 at 11:39:14PM +0200, Patrik Lundin wrote:
> 
> Since there have been no further feedback, is there a chance the latest
> diff can get commited?
> 

Ping.

-- 
Patrik Lundin

Reply via email to