gdb/ChangeLog: Add PR number to the latest entry

This adds the PR number to the following gdb/ChangeLog  entry:

2020-05-17  Tom Tromey  <tromey@adacore.com>

    Pushed by Joel Brobecker  <brobecker@adacore.com>
    PR symtab/26003
    * symfile.c (symbol_file_add_separate): Preserve OBJF_MAINLINE.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index accbb8bd851fa1a042352ac62356c2ff426cdc4f..10b4f9c5345fa34f88a4690a911111bc604da69b 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,6 +1,7 @@
 2020-05-17  Tom Tromey  <tromey@adacore.com>
 
        Pushed by Joel Brobecker  <brobecker@adacore.com>
+       PR symtab/26003
        * symfile.c (symbol_file_add_separate): Preserve OBJF_MAINLINE.
 
 2020-03-03  Sergio Durigan Junior  <sergiodj@redhat.com>