Done - I thought I had merged current master already - learning git daily :)