data: support stabilization_pr_id as url fallback

1 files changed, 2 insertions, 0 deletions

diff --git a/build.py b/build.py
index 1cc8fa4..fb2b96d 100755
--- a/build.py
+++ b/build.py
@@ -63,6 +63,8 @@ def write_features(f, feature_data):
             )
         elif 'impl_pr_id' in data:
             url = 'https://github.com/rust-lang/rust/pull/{}'.format(data['impl_pr_id'])
+        elif 'stabilization_pr_id' in data:
+            url = 'https://github.com/rust-lang/rust/pull/{}'.format(data['stabilization_pr_id'])
         data['url'] = url
         data['filename'] = feat