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

[Peter Wang]

On Mon, 3 Jun 2013 16:56:07 +1000 (EST), Julien Fischer <jfischer at opturion.com> wrote:
> 
> 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?

Go ahead.

Peter