[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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@283465 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/docs/Lexicon.rst b/docs/Lexicon.rst
index 912dee2cf0790e77e18f689bc11d74e246233ca2..de929bec1b0e984b2ca2910e9875892b4ef3051e 100644 (file)
--- a/docs/Lexicon.rst
+++ b/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