Merge pull request #1 from redox-os/master
Created by: tranlyvu
merge from original
Problem: [describe the problem you try to solve with this PR.]
Solution: [describe carefully what you change by this PR.]
Changes introduced by this pull request:
- [...]
- [...]
- [...]
Drawbacks: [if any, describe the drawbacks of this pull request.]
TODOs: [what is not done yet.]
Fixes: [what issues this fixes.]
State: [the state of this PR, e.g. WIP, ready, etc.]
Blocking/related: [issues or PRs blocking or being related to this issue.]
Other: [optional: for other relevant information that should be known or cannot be described in the other fields.]
The above template is not necessary for smaller PRs.