j
k
j a
j l
knewell@math.arizona.edu writes:
refint does not alter the value of an attribute to refint_nothing when the last "member" of a group is deleted.
Fixed in CVS HEAD.
Back to the thread
Back to the list
