Devs

In a clean, up-to-date master I try to say

Bash$ git submodule update

fatal: reference is not a tree: 07f2ca98fd4249dc6ebad053bd6aef90c814efe0

Unable to checkout '07f2ca98fd4249dc6ebad053bd6aef90c814efe0' in submodule path 'utils/haddock'

What should I do?

Thanks

Simon