[Tinyos Core WG] Merging HEAD and DEVEL

[Philip Levis]

On Dec 8, 2006, at 3:54 PM, Vlado Handziski wrote:

> In couple of days I plan to merge the HEAD and the DEVEL branch.   
> If anyone has an active branch on DEVEL that wants it to be kept  
> alive on HEAD, please drop me a mail.
>
> Please make sure that all recent fixes (after the release) are  
> applied to DEVEL also, otherwise I can not guarantee the  
> correctness of the merge.
>
> I'll send another mail immediately before I start with the branch  
> swap.
>

Great, thanks for doing this, Vlado. I suspect that you don't have  
access to HEAD (I removed it for everyone), so I'll restore access to  
you only. Once you've done the switch, I can remove access to -devel  
for everyone and give everyone access to HEAD.

Phil