{"shas":[["bc567e1672b05ecadda26fb2b55c48290ae0e34b","38bfb6640636de28997b5b52488be1fb0e57a2f4@cornell.edu","in ServerHandle, refactor xref-search request dispatching into a helper method","Robert Buels"],["cfd2d72c67102a98d2780f415846e55db20c2577","38bfb6640636de28997b5b52488be1fb0e57a2f4@cornell.edu","add a seach_xrefs_html method to ServerHandle, which just gets pre-rendered HTML for xrefs","Robert Buels"]],"ref":"refs/heads/master","size":2,"head":"cfd2d72c67102a98d2780f415846e55db20c2577","push_id":41035878}