devtools: update ufs (quick hack that works)

This commit is contained in:
Giacomo Tesio 2015-12-23 21:51:57 +01:00
parent d07a6b1e39
commit 51b7a95bb7
1 changed files with 1 additions and 1 deletions

@ -1 +1 @@
Subproject commit 93c44d0a8e8ffe83029774b2d509d05c8fb2a2eb
Subproject commit 6cc262b43b1d5630c73f079872a260c8d0cd5e0e