[PATCH] Add runtime option to fix randomization seed on startup
Hi all, Megane looked into #1650 and found out that the srand(time(NULL)) call is the culprit; due to the hash table randomization the number of GCs can differ on every run. This led me to think that this could be one reason our benchmarks are so noisy, so I added a runtime option to fix the
Re: [PATCH] Fix #1756 by replacing rest ops for explicitly consed rest args
LGTM, pushed. Thanks for you both. I tweaked some whitespace. Also, I reflowed the Acknowledgements file a bit to make it merge.