change close semantics for fixed-length sources#239

Closed

seliopou wants to merge 3 commits intoocsigen:masterfrom seliopou:close

+39-62

Commits on May 27, 2016

change close semantics for fixed-length sources
seliopou
committed

Commits on Jun 17, 2016