Re: Latest devel branch push

[Lawrence Velázquez]

On Sat, May 15, 2021, at 4:29 PM, Alex fxmbsw7 Ratchev wrote:
> but is that the devel tree

Switch to the "devel" branch.

-- 
vq