Add missing gcc-interface/ to 2018-07-31 ChangeLog entry
commit37db7effb50708457d5a8b7ec58a0d7b3af14b56
authoraoliva <aoliva@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 7 Aug 2018 05:54:11 +0000 (7 05:54 +0000)
committeraoliva <aoliva@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 7 Aug 2018 05:54:11 +0000 (7 05:54 +0000)
tree3761a6aaa69533d1a9a110054b4daceffa8e11f1
parent4eae780b86747798a5ebd38f8e66419f0b8e1b79
Add missing gcc-interface/ to 2018-07-31 ChangeLog entry

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@263351 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog