Skip to content

Commit 1116fd1

Browse files
committed
Merge PR #3228
2 parents 5663cfc + a3cea92 commit 1116fd1

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

draft/2022-05-11-this-week-in-rust.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -37,6 +37,7 @@ and just ask the editors to select the category.
3737

3838
* [Fornjot 0.6](https://www.fornjot.app/blog/fornjot-0.6/)
3939
* [Announcing the Kani Rust Verifier Project](https://model-checking.github.io/kani-verifier-blog/2022/05/04/announcing-the-kani-rust-verifier-project.html)
40+
* [Slint (UI crate) weekly update -- Version 0.2.2 Release](https://slint-ui.com/thisweek/2022-05-09.html)
4041

4142
### Observations/Thoughts
4243

0 commit comments

Comments
 (0)