Commit 9aa1fd75705ab8fe50a75004c40c84e2e7dc5e36

Stefan Sperling 2017-11-29T23:51:39

add a comment about xmalloc; it needs to go away