Am 09.12.19 um 17:30 schrieb Thomas Koenig:
Maybe -finline-repack would be a better name? -finline-internal-pack?

Steve made an excellent suggestion: -finline-arg-packing .

So, OK with that change?

Regards

        Thomas

Reply via email to