PGASetRestartFlag(3) on Linux
The text 239fae374088, as Debian 8 (Jessie), Debian 7 (Wheezy), Debian 6.0 (Squeeze), Debian 5.0 (Lenny), Debian 3.1 (Sarge), Debian 3.0 (Woody), Debian 2.2 (Potato), Debian 2.1 (Slink), Debian 2.0 (Hamm), Debian 1.3 (Bo), Debian 1.2 (Rex), Debian 1.1 (Buzz) shipped it. The page shows this text now.
specifies whether the algorithm should employ the restart operator