diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-01-11 14:09:47 -0500 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-01-11 16:37:34 -0500 |
commit | 69dc6922524c32d6b3723394d44fb5f60c9c438a (patch) | |
tree | ba38bbf5c8582a1b8245cbacc67100ad71ed7cba /man/bootup.xml | |
parent | da3bddc993a06c7c7b6f903244d3de88443082e2 (diff) |
socket-util: drop _pure_ from a function with an output parameter
If it writes to memory, it's not pure, by definition.
Fixup for 882ac6e769c5c.
Diffstat (limited to 'man/bootup.xml')
0 files changed, 0 insertions, 0 deletions