On 31 Dec 2020, at 09:38, Mark S. Miller <erig...@gmail.com> wrote:
> 
> Clicking on "Playlists"
> https://www.youtube.com/channel/UCIqVY1XFPOPIZ1z2A9TrmMA/playlists I only
> see the first playlist.

Apologies, I had forgotten to make the second one public. Should be visible now.

Gernot
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems

Reply via email to