-
Michael Beck authored
Partly undo r26950: there seems be be subtile difference between get_flags_node() and determine_final_pnc() that are triggered by that change. This should fix 175.vpr. [r26977]
11ed4c94
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Partly undo r26950: there seems be be subtile difference between get_flags_node() and determine_final_pnc() that are triggered by that change. This should fix 175.vpr. [r26977]