Heya Freja,
On Tue 21 Feb 2017 20:36, Freja Nordsiek <fnordsie@gmail.com> writes:
> Patch for bug #24816: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=24816
Apologies for not noticing this patch; I was working from the debbugs
interface and didn't see this. In the future you can update a bug with
a patch by CC'ing NNNNN@debbugs.gnu.org, e.g. 24816@debbugs.gnu.org.
Your patch is pretty much exactly what I did, too :) One thing I did
was require the port position to be within the bounds of the truncated
size; was a tough call but truncate-file on a file doesn't adjust the
position, so there's that.
Thank you again for the patch and sorry for missing it. Looking forward
to future patches :-)
Andy