Oh, and I checked that the two current consumers, gnuastro and kstars,
were still happy with the update.

Reply via email to