label_properties: do not rely on source_locationt's get_function()#4131
Open
tautschnig wants to merge 1 commit intodiffblue:developfrom
Open
label_properties: do not rely on source_locationt's get_function()#4131tautschnig wants to merge 1 commit intodiffblue:developfrom
tautschnig wants to merge 1 commit intodiffblue:developfrom
