Berin Loritsch wrote:
:/
I thought I updated the repository *daily* for the last week or so.
Ok. Now how do we revert again?
I will do it now - it might be that I break something of your commits then :), so please check afterwards.
I can reapply them later.
