Merged
requested to merge bugfix/dumpast-ast-nodes-without-a-constructor-with-parameters-are-not-recognized-as-such into master
GitLab update scheduled for Friday, July 8th between 08:15 and 08:45 CET. If unpleasant, please contact René or Martin.