On Tue 26 Apr 2016, Emil Velikov wrote: > Humble ping ? And an embarassedly late merge. Thanks for all the cleanups. All the patches in the series, except patch 1, are merged. I skipped patch 1 because it introduced a single symbol, but that symbol was never used.