Heya Freja, On Tue 21 Feb 2017 20:36, Freja Nordsiek <fnord...@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 nn...@debbugs.gnu.org, e.g. 24...@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