Stellarium 0.12.2-1 or 0.11.3-2 in the next point release

[Tomasz Buchert <tomasz.buchert@inria.fr>]

Hi,
I'm maintainer of stellarium [1]. Recently I had a bug
opened by one of DebianEdu [2] (focus on the end of the thread)
which would require releasing stellarium in a point release.

The reason for it is that Stellarium is an important part
of Debian educational platform and, if not fixed, will haunt
DebianEdu users for the next few years. The bug is fixed
in the version 0.12.2 (now in unstable).

>From the thread you may notice that wheezy-backports is not
an option, unfortunately.

There are two alternative ways to fix it, I suppose:

  1) patch version 0.11.3-1 (now in stable)
     and release it as 0.11.3-2

  2) release 0.12.2-1 in stable

Please let me know what you think about it.

Cheers,
Tomasz Buchert