erroneous return from void method

PtrList append has a return, but the method is void

• long-standing bug (dating back to 2014), but obviously never exercised.

added bug label

added compilation label and removed bug label

closed via commit be417c98

mentioned in commit df01ada3

mentioned in commit be417c98

mentioned in commit 3eb1fdcf