I completely missed the news that Microsoft acquired Citrus back in 2019. I noticed in their MIT like license it referred to Microsoft and was confused until I

I completely missed the news that Microsoft acquired Citrus back in 2019. I noticed in their MIT like license it referred to Microsoft and was confused until I learned they were acquired. https://github.com/citusdata/pg_auto_failover/blob/master/LICENSE https://github.com/citusdata/pg_auto_failover/blob/master/LI...