Fix #1999 : REFS aren't indexed if DEFS is empty#2624

vladak merged 1 commit intooracle:masteroracle/opengrok:masterfrom

idodeclare:bugfix/no_defs_no_refsidodeclare/OpenGrok:bugfix/no_defs_no_refsCopy head branch name to clipboard