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

[Julien Fischer]

On Thu, 23 May 2013, Peter Wang wrote:

>>>> It would be a good idea if the policies
>>>> regarding branches and how they are managed were written down somewhere.
>>>> Any volunteers?
>>>>
>>>> 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.

Probably, but the whole mode-constraints branch (in all its
incarnations) is dead anyway -- the useful bits were merged onto the
trunk years ago.

> 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.

The unstable ones were probably the result of one of the build machines
crashing -- it used to tag the repository and then untag it.

Cheers,
Julien.