I tried that and it failed – don’t worry, I used the Manual Update in the Slider Settings Plugin. All updated now.
It doesn’t help that plugins (not just Rev Slider) use a variety of ways to update – some work, some don’t. It makes updates very frustrating when there isn’t a set rule on updating. Not anyone’s fault – just the quirks of WordPress and every developer has their own way of running their plugins.
But it does drive me bonkers! :-/