An error occurred while fetching the assigned milestone of the selected merge_request.
Remove svcntd() from unknown symbols. This is important when the kernel parameters are analysed further, e.g., by waLBerla. svcntd() should not be treated as a free parameter