Message281187
Here is a patch implementing Eryk’s suggestion, for both from_buffer() and from_buffer_copy() methods. This is exactly how it is already handled for Array.from_address(). The two buffer methods were added more recently than from_address(). |
|
Date |
User |
Action |
Args |
2016-11-19 01:01:33 | martin.panter | set | recipients:
+ martin.panter, eryksun, xiang.zhang, spearsem@gmail.com |
2016-11-19 01:01:33 | martin.panter | set | messageid: <1479517293.59.0.763727294047.issue25659@psf.upfronthosting.co.za> |
2016-11-19 01:01:33 | martin.panter | link | issue25659 messages |
2016-11-19 01:01:33 | martin.panter | create | |
|