Ok - I am now confused.

git diff dfa0f963486465b320330f473622c453c641dc5e  shows the previous commit on branch develop already had those missing.  I have an awful suspicion I have branched off develop and not master as I should have - please point me at the contrib details and I will be happy to review - but after holidays.

Thank you