> On Nov 9, 2015, at 2:41 PM, Devrim Gündüz <devrim(at)gunduz(dot)org> wrote:
>
> Can you revert it today or tomorrow? :)
Can’t revert it because it’s all one big commit (at least not with my current level of git-fu), but I should be able to change them back today or tomorrow.