output ports created with ##open-predefined not being garbage collected

Show replies by date

1808
Age (days ago)
1814
Last active (days ago)

gambit-list@iro.umontreal.ca

21 comments
5 participants

Add to favorites Remove from favorites

tags (0)
participants (5)
  • Alejandro Santana
  • Dimitris Vyzovitis
  • Jörg F. Wittenberger
  • Marc Feeley
  • santana@mailbox.org