add link to docs about debugDefaultTargetPlatformOverride

leancodepl · Nov 13, 2023 · 11b7037 · 11b7037
1 parent 778b4ed
commit 11b7037
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/packages/patrol/lib/src/binding.dart b/packages/patrol/lib/src/binding.dart
@@ -148,6 +148,8 @@ class PatrolBinding extends LiveTestWidgetsFlutterBinding {
 
   /// Temporary workaround for DevTools extension changing this value and not
   /// resetting it.
+  /// 
+  /// See https://github.com/flutter/devtools/issues/6719
   TargetPlatform? workaroundDebugDefaultTargetPlatformOverride;
 
   @override