[bug #35793] patch: make @value work in the filename argument of @xref and friends

[Karl Berry]

Update of bug #35793 (project texinfo):

             Open/Closed:                    Open => Closed                 

    _______________________________________________________

Follow-up Comment #1:

(accepted, replying on list)

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?35793>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/