Sorry for the long period of neglect. I'd like to get 4.5.19 out soon now. AFAIK the current state of the git tree is more or less fine as it is. Is there anything either urgent or trivial to fix/merge in floating around? Thanks, Roland