<@U06A03HV1> it appears default_source_globs was i...
# general
e
@witty-crayon-22786 it appears default_source_globs was introduced no later than 1.4.0:
Copy code
$ git describe 127867b852cff0ceda14d0bd427b2ffe9cdbe5a0
release_1.3.0dev0-6-g127867b85