Scheduler: adding/removing resources enforce warnings and recount number of unconfigu...

[unfold.git] / third-party / spin

diff --git a/third-party/spin b/third-party/spin
index f56e2bf..09c7cd5 120000 (symlink)
--- a/third-party/spin
+++ b/third-party/spin
@@ -1 +1 @@
-spin-1.2.8
\ No newline at end of file
+spin-1.3.0
\ No newline at end of file