Skip to content

Add missing include <functional>

Bernd Flemisch requested to merge cherry-pick-8713bc08 into releases/2.10

(cherry picked from commit 8713bc08)

Merge request reports