[gcc(refs/vendors/redhat/heads/gcc-10-branch)] Add PR number to change log

[Jakub Jelinek]

https://gcc.gnu.org/g:ab851b241ef17a62f94453c6151d95b46ef3bd3c

commit ab851b241ef17a62f94453c6151d95b46ef3bd3c
Author: Richard Sandiford <richard.sandiford@arm.com>
Date:   Fri Jan 17 12:22:58 2020 +0000

    Add PR number to change log

Diff:
---
 gcc/ChangeLog | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ab9c90a..a4b213d 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,8 @@
 2020-01-17  Richard Sandiford  <richard.sandiford@arm.com>
 
+2020-01-17  Richard Sandiford  <richard.sandiford@arm.com>
+
+	PR target/93133
 	* config/aarch64/aarch64.h (REVERSIBLE_CC_MODE): Return false
 	for FP modes.
 	(REVERSE_CONDITION): Delete.