diff options
Diffstat (limited to 'build.py')
-rwxr-xr-x | build.py | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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 |