vendor: Update cast
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Tue, 21 Feb 2017 15:24:47 +0000 (16:24 +0100)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Tue, 21 Feb 2017 15:24:47 +0000 (16:24 +0100)
commit91968f3b1fad64a5cae53e18113e50ea50e14bbd
treed0ee2300d952712a766f6d9763d3542a48c6d241
parent7934db91694128f2b036e0b98a076fc679bf8d67
vendor: Update cast

Fixes #3059
vendor/vendor.json