On Sat, Mar 05, 2016 at 11:03:07AM +0100, Pjotr Prins wrote: > And then the question, how can we roll back on a pull ;)
Not automatically, I think, but you can always delete the directory containing it inside .local and install from git, where you can choose any commit that works for you. Andreas
