
  VERSION -- Version Information for mysql (syntax: Text)
  [automatically generated and maintained by GNU shtool]

  This is mysql, Version 1.1.2 (19-Nov-2013)

