02:22 Muhammad Moinur Rahman (bofh) 

devel/directfb: Remove expired port

2023-09-30 devel/directfb: Last upstream release was in 2015

    1f5c2da

15:20 amdmi3 

- Update to 1.4.17
- Unbreak
- Switch to options helpers

PR:		185885
Submitted by:	hardy.schumacher@gmx.de
Approved by:	maintainer timeout (anatoly.borodin@gmail.com, 2 years)

 

21:23 gahr 

- Update to 1.1.1
- Pass maintainship to submitter

Submitted by:   Anatoly Borodin (anatoly.borodin@gmail.com) via mail
Approved by:    miwi (mentor)