Our 1.0.0 release was August 30, 2012, so Stan's about to
turn 3 in 45 days or so.
Should we have some kind of birthday party? Daniel --- any
ideas (you're our de facto event planning specialist)? Could
we grab a bar like for your birthday party a year or two back?
- Bob
--
You received this message because you are subscribed to the Google Groups "stan development mailing list" group.
To unsubscribe from this group and stop receiving emails from it, send an email to stan-dev+u...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.