[m-rev.] for review: fix bug #183

[Julien Fischer]

Hi Peter,

On Thu, 23 May 2013, Peter Wang wrote:

>>>> On sort of related note, the conversion to git has meant that there
>>>> are loads of useless branches and tags in the github project.  Can we
>>>> delete these?
>>>
>>> The unlabeled-* branches and the unstable-* and stable-* tags?
>>
>> Yes, yes, and yes -- and probably yes to quite a few of the others there
>> too.
>
> "unlabeled" are apparently a result of deleted branches in CVS.
> I guess they were earlier versions of the "mode-constraints" branch.
>
> The stable/unstable tags, I guess, were automatically made to indicate
> the source files for a binary package.  I see no need to keep them.

Do you want to do this, or are you happy for me to go ahead and do it?

Cheers,
Julien.