> On Nov 9, 2015, at 2:41 PM, Devrim Gündüz <devrim@gunduz.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
changethem back today or tomorrow.