Merge requests · redox-os

Fix xargo deadlock

redox!1219 · created Aug 10, 2019 by jD91mZM2
- Merged
updated Aug 26, 2019
Use cbitset crate instead of custom bitset implementation in select

relibc!221 · created Jun 08, 2019 by lmiskiew
- Merged
- 2
- 1
updated Aug 25, 2019
Fixed inverted chars

drivers!53 · created Aug 19, 2019 by Fabio Di Francesco
- Merged
updated Aug 25, 2019
[fix #909] split pipe2 into pipe and fcntl on macOS and iOS

ion!1160 · created Aug 23, 2019 by Jakob Hellermann
- Merged
- 2
- 1
updated Aug 23, 2019
cbloom: remove unstable feature

cbloom!1 · created Jul 20, 2019 by Luca Bruno
- Merged
- 5
updated Aug 23, 2019
cbloom: use saturating math

cbloom!3 · created Jul 22, 2019 by Luca Bruno
- Merged
- 1
updated Aug 23, 2019
Switch to rust-gdb-remote-protocol

gdbserver!1 · created Aug 21, 2019 by jD91mZM2
- Merged
- 2
updated Aug 22, 2019
Final few ptrace changes

kernel!109 · created Aug 19, 2019 by jD91mZM2
- Merged
updated Aug 21, 2019
RSoC: improving Ion's UX, week 4

website!228 · created Aug 04, 2019 by AdminXVII
- Merged
updated Aug 20, 2019
fix(string methods): Remove methods than expand to 0/1

ion!1155 · created Aug 17, 2019 by AdminXVII
- Merged
updated Aug 19, 2019
feat(manual): Make a link-check before merging

ion!1159 · created Aug 19, 2019 by AdminXVII
- Merged
updated Aug 19, 2019
fix(CI): only output html for the book

ion!1158 · created Aug 19, 2019 by AdminXVII
- Merged
- 3
updated Aug 19, 2019
RSoC: Improving Ion's UX weeks 5 and 6

website!230 · created Aug 19, 2019 by AdminXVII
- Merged
updated Aug 19, 2019
RSoC: Implementing ptrace for Redox OS - part 8 - The finale

website!229 · created Aug 18, 2019 by jD91mZM2
- Merged
updated Aug 18, 2019
fix(CI): install openssl and build utils

ion!1156 · created Aug 17, 2019 by AdminXVII
- Merged
updated Aug 17, 2019
mod.rs: print summary without quotes

ion!1153 · created Aug 17, 2019 by ngirard
- Merged
- 7
- 1
updated Aug 17, 2019
CONTRIBUTING improvements

ion!1154 · created Aug 17, 2019 by ngirard
- Merged
updated Aug 17, 2019
Incremental search and history browse change.

liner!10 · created Nov 13, 2018 by Steven Stanfield
- Merged
- 20
- 2
updated Aug 17, 2019
Documentation improvements (history.md)

ion!1152 · created Aug 16, 2019 by ngirard
- Merged
- 3
updated Aug 17, 2019
Fixed main inclusion

drivers!51 · created Aug 16, 2019 by Fabio Di Francesco
- Merged
updated Aug 16, 2019