On 23/10/14 14:24, Andreas Jaeger wrote:
Tom,
Are you sure you updated the glossary and saved the entry? There was no
change to the glossary in today's update...
I edited the ops guide resource.
I guess there's another similar bug in the glossary too.