Unintentional double commits

[David Bariod]

Hello all,

It seems there is a single commit different at the fork: 7b98c6f57a
It looks like someone has pushed a rebase on already published commit.
As there are already commited changes after the fork and the merge,
the branch is published as is and has already been fetched by other person,
I strongly suggest to not rewrite this part because it will bring more
trouble as these commit are live everywhere.
We just have to live with it.

Best regards,
David

On Fri, Dec 23, 2016 at 2:04 PM, Davide Liessi <davide.liessi at gmail.com> wrote:
> 2016-12-21 20:44 GMT+01:00 Marko Käning <mk-macports at posteo.net>:
>> I agree with Mojca, it looks messy now!
>> We better fix it fast.
>> Someone with admin access to the repo should be able to fix this if we don’t wait too long.
>
> +1