Update to latest published DevTools 2.5.0. (#87692)

5647c0eb · Terry Lucas · GitHub · 50d96435 · 5647c0eb
Unverified Commit 5647c0eb authored Aug 05, 2021 by Terry Lucas Committed by GitHub Aug 05, 2021
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

devtools.version bin/internal/devtools.version +1 -1

No files found.
--- a/bin/internal/devtools.version
+++ b/bin/internal/devtools.version
-2.4.0
\ No newline at end of file
+2.5.0