[Monotone-devel] 0.13 released

[graydon hoare]

hi,

I've released 0.13, which is just a rushed bugfix release to handle 
problems people have been having with netsync. of course it includes a 
number of other minor fixes which have accumulated in the last couple 
weeks too.

let me know if you have problems with it.

-graydon