summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbuild.py2
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