Release v5.1.2.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>