Skip to content
Commit e961a163 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Merge branch 'also-log-nsrcntgts' into 'master' 

Tree build: Also log nsrcntgts.

See merge request inducer/boxtree!44
parents 7c461bfa 551b4b4e
Pipeline #11045 passed with warnings with stage
in 32 minutes and 11 seconds