search

genodelabs / genode

Genode OS Framework
https://genode.org/
Other
1.03k stars 249 forks source link

docs: fix small typo #5197

Closed mewmew closed 2 weeks ago

nfeske commented 2 weeks ago

Thank you. Your review is a nice surprise! :-)

nfeske commented 2 weeks ago

Merged as 48c56c8

chelmuth commented 2 weeks ago

Merged to master.