-
Armaël Guéneau authored
We can now have a negative number of credits (and this doesn't imply False), but garbage-collection of resources has been restricted: only a positive number of credits can be discarded.
cfcd372f
We can now have a negative number of credits (and this doesn't imply False), but garbage-collection of resources has been restricted: only a positive number of credits can be discarded.