goodbye to devel

[Matt Post]

Per our earlier discussions, I just merged devel into master. devel will go the way of the world, and master will be our new devel.

Please branch from and pull against master from now on.

[Jonathan Weese]

Huzzah!

It had a good run.

On Mon, Jul 1, 2013 at 2:38 PM, Matt Post <po...@cs.jhu.edu> wrote:

Per our earlier discussions, I just merged devel into master. devel will go the way of the world, and master will be our new devel.

Please branch from and pull against master from now on.

--
You received this message because you are subscribed to the Google Groups "Joshua Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to joshua_develop...@googlegroups.com.
To post to this group, send email to joshua_d...@googlegroups.com.
Visit this group at http://groups.google.com/group/joshua_developers.
For more options, visit https://groups.google.com/groups/opt_out.