Re: Fwd: Last Minute Dolphin Merge

[Méven]

Reverting is the simplest way to go, we are simply too late this time
around.

This is a small feature anyway, 4 months delay is better to get it right.

-- 
Méven