genodelabs / genode-world

Collection of community-maintained components for Genode
Other
44 stars 46 forks source link

falkon: add missing used apis #331

Closed cproc closed 1 year ago

cproc commented 1 year ago

Related to #323.

cproc commented 1 year ago

Fixed by 5aaafef