src/graph.[ch]: Rename "graph_inst_search" to "graph_search_inst_string".
[collection4.git] / ChangeLog