Re: [photran-dev] photran branch

[Jeffrey Overbey <overbey2@xxxxxxxxxxxx>]

> Do you want your own photran_6_0 branch, or do you want to use ptp_4_0?

Either one is fine with me.

photran_6_0 would be consistent with what we've done in the past, but
considering that we're on PTP's release cycle and part of its build
process now, it makes sense to use ptp branches from here on.

Jeff