Star name Propus goes to wrong star

[Michael Covington]

Stellarium 0.14.2 under Windows. The star name Propus goes to a 9.5-mag star in the far south, rather than to Eta Geminorum as it should.

[Alexander Wolf (alexwolf)]

It's not a bug, because:
1) η Gem has the traditional names Tejat Prior, Propus, Praepes and Pish Pai;
2) The traditional name Propus has not once star.

OK, I changed the traditional names for 3 stars because you are already 3rd man who knows only second name for η Gem.

Fix available in revision 8203: http://bazaar.launchpad.net/~stellarium/stellarium/trunk/revision/8203

[Michael Covington (a-mc)]

Thank you. Just to clarify: My concern was not that Propus did not go to Eta Gem. I would have been happy if Propus was not recognized at all, since it is not a well-known name. But in fact when I said to go to Propus, I got a 9.5-mag star in the far south (Antlia, maybe) which surely was never actually known by that name.

I had no idea it would be fixed this quickly! I am impressed.