[docs] Add PR to Lexicon

Summary:
The acronym PR could be ambiguous to some users, especially those who
are used to interpreting it as GitHub's "pull request".

Reviewers: ddunbar, jordan_rose, void, beanz

Subscribers: llvm-commits

Differential Revision: https://reviews.llvm.org/D25331

llvm-svn: 283465

diff --git a/llvm/docs/Lexicon.rst b/llvm/docs/Lexicon.rst
index 912dee2..de929be 100644 (file)
--- a/llvm/docs/Lexicon.rst
+++ b/llvm/docs/Lexicon.rst
@@ -180,6 +180,10 @@ O
 P
 -
 
+**PR**
+    Problem report. A bug filed on `the LLVM Bug Tracking System
+    <http://llvm.org/bugs/enter_bug.cgi>`_.
+
 **PRE**
     Partial Redundancy Elimination