Sort:  

no. The Leo token will no longer be minted.

Even better for holders.