More precise function pointer removal [depends-on: #2504]#2620

Closed

polgreen wants to merge 1 commit intodiffblue:developfrom

polgreen:function_pointers

Commits on Feb 25, 2019

Remove function pointers slightly more precisely

polgreen
authored and
tautschnig
committed