On 06/01/2016 01:53 PM, Matthäus G. Chajdas wrote: > updated to latest master and pushed again (I merged latest master into > this - is that fine or does it have to be a rebase? In that case I'll redo.) Please rebase and force push. Thanks, -Brad