Bump modules to fix 'make witti-dev'

This commit is contained in:
Zahary Karadjov 2020-05-27 20:13:18 +03:00
parent 1ec7d6e168
commit fe2bcb20d2
No known key found for this signature in database
GPG Key ID: C8936F8A3073D609
2 changed files with 2 additions and 2 deletions

@ -1 +1 @@
Subproject commit 2baaccd50e0a15939a1d3effc7e07c8a552e8ac1 Subproject commit ae60eef4e8413e49fb0dbcae9a343fb479509fa0

2
vendor/nim-stew vendored

@ -1 +1 @@
Subproject commit 4ffd3e1f59c2f12ae57456c6fccf477bc203da78 Subproject commit a99dafab420bcbbffee35e9bd847a9014eafaffe