K 10
svn:author
V 6
ashish
K 8
svn:date
V 27
2018-10-10T00:52:23.402986Z
K 7
svn:log
V 95
- Remove redundant GMP option added in r481628, as GMP support already
  enabled since r477132

END