iris
iris copied to clipboard
[#94] Use Text in the simple-grep example to match changed Formatting API
Resolves #94 Also fixes build issue with #91
Additional tasks
- [x] Documentation for changes provided/changed
- [ ] Tests added
- [x] Updated CHANGELOG.md
@lillycat332 Do I understand correctly that #91 should be closed (currently it doesn't pass the CI) and this one should be merged instead?
@lillycat332 Do I understand correctly that #91 should be closed (currently it doesn't pass the CI) and this one should be merged instead?
Yes, this would resolve both of them, since it has the same commits as the pr #91