Update: glossaries version 5.1

A new version of glossaries has been released.