some post-processing of Jan's patch
Latest commit bfb1789 Apr 26, 2015 History 
minor edits
add missing ChangeLog entry
and tick off one TODO item
1 contributor

Users who have contributed to this file