was updated on 22.10.2017


Is it ok for it or not?


Not sure why it was still on the 22nd. I’ve manually updated it; should be up to date now. I believe that there’s some bug or some other problem that causes this, but I cannot find it (though I have not thoroughly investigated).