fixed removing pending_in slots
authorJordan Augé <jordan.auge@lip6.fr>
Fri, 11 Jul 2014 13:09:56 +0000 (15:09 +0200)
committerJordan Augé <jordan.auge@lip6.fr>
Fri, 11 Jul 2014 13:09:56 +0000 (15:09 +0200)

No differences found