-
David Johnson authored
(Eventually, psaction will be replaced by an OS personality-based tool -- the linux generic personality already understands all these version difference issues -- but until then, just fix the current one.) Patch originally from Min Du; thanks!
ea0daf94