ChangeLog: add missing Bugzilla PR.
authorDavid Edelsohn <dje.gcc@gmail.com>
Sat, 11 Jul 2020 15:37:56 +0000 (11:37 -0400)
committerDavid Edelsohn <dje.gcc@gmail.com>
Sat, 11 Jul 2020 15:37:56 +0000 (11:37 -0400)
commit2ea10cbd66d02d4f0c100dd6f1081cadf5561c2c
tree779e2b4139d62d3a744b525d2620c2a9aa6c5f99
parent505032d97d0593d5e9a6f51b107650e27fcf6b23
ChangeLog: add missing Bugzilla PR.
gcc/ChangeLog