Fixed very old bug where Streams.GetStreamPosition would return the wrong position...
authordtrg <none@none>
Wed, 1 Sep 2010 19:55:15 +0000 (19:55 +0000)
committerNick Downing <nick@ndcode.org>
Wed, 17 Apr 2019 14:15:20 +0000 (00:15 +1000)
commit81947fbf97bd663d6817ec7a65c3cd0efbc644d3
tree5cf705a5ca778c5fda8e8b10d423540735fd9fc4
parentb2643d17f11e95807429e2fcd726bf149521261b
Fixed very old bug where Streams.GetStreamPosition would return the wrong position --- thanks to Jan Verhoeven for finding this.
lang/m2/libm2/Streams.mod