12:51 Rene Ladan (rene) 

audio/gradio: Remove expired port

2023-11-30 audio/gradio: BROKEN for more than a year

    2e113a0

13:46 tobik 

Clean up WRKSRC and USE_GITHUB usage in some ports

 

18:46 arved 

Update to 7.3

This will be the latest release of gradio. Upstream is working on a rewrite
in rust named shortwave

 

20:51 arved 

Update to 7.2

 

22:09 arved 

Add gradio, a GTK3 application to discover and listen to Internet
radio stations