> On Aug 28, 2016, at 10:54 PM, Jonah Gabry <jga...@gmail.com> wrote:
>
> I ran into this too recently, and I couldn't tell if it was intentional or not. Bob?
>
> Jonah
>
> --
> 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.