mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 15:32:25 +00:00
Add Report session to fetchurl's used_apis
The fetch progress report requires Report headers to be present. Ref #2702
This commit is contained in:
parent
a347be2222
commit
864e8ab0c8
@ -4,6 +4,7 @@ os
|
||||
so
|
||||
vfs
|
||||
curl
|
||||
report_session
|
||||
timer_session
|
||||
nic_session
|
||||
report_session
|
||||
|
Loading…
Reference in New Issue
Block a user