| Index: tools/utils.py
|
| diff --git a/tools/utils.py b/tools/utils.py
|
| index f489f0db858ba59fd5cab3a670c3d0cf3b5ab010..b4ae99ce8074278efe58313e321f59d2f7c114f3 100644
|
| --- a/tools/utils.py
|
| +++ b/tools/utils.py
|
| @@ -995,7 +995,8 @@ class WindowsCoreDumpArchiver(BaseCoreDumpArchiver):
|
| 0,
|
| winreg.KEY_READ | wowbit) as handle:
|
| raise Exception(
|
| - "Found werfault.exe was disabled. Probably by puppet. Too bad")
|
| + "Found werfault.exe was disabled. Probably by puppet. Too bad! "
|
| + "(For more information see https://crbug.com/691971)")
|
| except OSError:
|
| # If the open did not work the werfault.exe execution setting is as it
|
| # should be.
|
|
|