docdir.patch
pr3302-fix-symbol-detection.patch
pr3300-JSON-output-avoid-rounding-issues.patch
