diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-10-15 20:14:31 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-15 20:14:31 -0400 |
| commit | f88f3122249c5284d43caeac8580012189645bfc (patch) | |
| tree | 55ef7dbdd1a24968a99130edff39f01cabda8635 /components/script/dom/webglbuffer.rs | |
| parent | 3b03f6d894e52d2cf8e0857227d16a2ec3b28299 (diff) | |
| parent | 34eb1d04992f436558bce87ca78cfb072009d3c0 (diff) | |
| download | servo-f88f3122249c5284d43caeac8580012189645bfc.tar.gz servo-f88f3122249c5284d43caeac8580012189645bfc.zip | |
Auto merge of #21951 - servo:jdm-patch-10, r=paulrouget
Don't strip final character of directory name for maven package.
Right now we're uploading to `servoview-armv7/0.0.1.20181015.532775` when the actual files are called `servoview-armv7-0.0.1.20181015.5327758.aar` (note the extra `8`). This was a mistake caused by trying to remove excess `/` characters during development.
<!-- 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/21951)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/webglbuffer.rs')
0 files changed, 0 insertions, 0 deletions