Add PR number to change log

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6c6d586..49ca5f9 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,6 @@
 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.