PGAGetRestartFlag(3) on Linux
The text a6f380f66b39, 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.
returns whether the algorithm should employ the restart operator