diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-03-05 22:42:12 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-05 22:42:12 -0500 |
commit | b7a8d789721e299af54f25369836de2972cf11b9 (patch) | |
tree | e573b60725bb03d6fb429a7b1e863bec9ce6d230 /python/servo/post_build_commands.py | |
parent | 2d3771daab84709a6152c9b56c43bad2b280b2ab (diff) | |
parent | 00738bf1f638edf55bfc0cbabfd39802e1092b90 (diff) | |
download | servo-b7a8d789721e299af54f25369836de2972cf11b9.tar.gz servo-b7a8d789721e299af54f25369836de2972cf11b9.zip |
Auto merge of #20209 - servo:jdm-patch-6, r=glennw
Fix exception when updating WPT metadata.
<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/20209)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/post_build_commands.py')
0 files changed, 0 insertions, 0 deletions