#12061: remove duplicate glossary entry.
1 file changed