message: Scrub names in dump_graph.cc for .?[] as well.
diff: @@ -38,7 +38,8 @@ string MakeUniquePath(string name) {
  // Remove illegal characters from `name`.
  for (int i = 0; i < name.size(); ++i) {
  - if (name[i] == '/') {
  + char ch = name[i];
  + if (ch == '/' || ch == '[' || ch == ']' || ch == '*' || ch == '?') {
  name[i] = '_';
  }
  }
  