Am 04.03.2015 um 23:10 schrieb Robert Storey <robert.storey@???>:
> Just want to say that I really like this idea of naming releases after minor planets, such as Ceres. It's a way cool idea.
Cool yes, but useful? Numbers have the huge advantage that everybody knows their order, which is quite important when referring to versions.