Add PR number to change log

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6c6d586ca75de8878d63ca6731a09715a9079e13..49ca5f92dec6e91765593935ccef0f9f813d597b 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.