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