alkber/genode — comment on commit f37a4344ee0926bc9aea59ced9d0a52ae2d0fd42
File:  line 0
By nfeske:

Thanks. I merged to fix into genodelabs/staging.