diff --git a/gui/adapt.py b/gui/adapt.py
index dca8ec3..2210583 100644
--- a/gui/adapt.py
+++ b/gui/adapt.py
@@ -1,4 +1,4 @@
-# Copyright (C) 2015 Tom Tromey <tom@tromey.com>
+# Copyright (C) 2015, 2016 Tom Tromey <tom@tromey.com>
 
 # This program is free software; you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -18,11 +18,9 @@
 import gdb
 import gui.params
 
+# The rule for adding a new entry here is that the bug must have some
+# notable user-visible effect.
 bugs = {
-    13351: """Your gdb can't look up a symbol when the inferior is not running.
-This means that you can only view global symbols until you've started
-the inferior.""",
-
     15620: """Your gdb doesn't have a "new breakpoint" event.
 This means that the source windows will not show you where
 breakpoints have been set.""",
diff --git a/gui/commands.py b/gui/commands.py
index 007d41e..606c462 100644
--- a/gui/commands.py
+++ b/gui/commands.py
@@ -1,4 +1,4 @@
-# Copyright (C) 2012, 2013, 2015 Tom Tromey <tom@tromey.com>
+# Copyright (C) 2012, 2013, 2015, 2016 Tom Tromey <tom@tromey.com>
 
 # This program is free software; you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -111,7 +111,6 @@ source window is made."""
         except gdb.error as e:
             if gui.gdbutil.is_running():
                 raise
-            gui.adapt.notify_bug(13351)
             symbol = gdb.lookup_global_symbol(arg)
         if symbol is None:
             raise gdb.GdbError('symbol ' + arg + ' not found')