[Stellarium-pubdevel] Duplicate stars & labels

[Timothy R. <tr...@si...>]

	I filed this defect, but it seems to be being ignored.   Is it a bug,  
or am I not understanding something?