Re: [UPDATE] wcslib-7.11

[Rafael Sadowski]

On Thu Jul 21, 2022 at 04:17:34PM +0200, Marc Espie wrote:
> Oh, and I checked that the two current consumers, gnuastro and kstars,
> were still happy with the update.
> 

OK rsadowski