Version 0.13.2 #242

Activity

1. JuliaRegistrator commented on Jun 24, 2026

   

   JuliaRegistrator

   on Jun 24, 2026

   More actions

   Registration pull request created: JuliaRegistries/General/159060

   Tagging

   After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

   This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

   git tag -a v0.13.2 -m "<description of version>" 3409b27e0f0eadbf60333fbecde8b289ff4ea418
   git push origin v0.13.2
   
2. barche

   closed this as completedon Jun 24, 2026