update divine and hopefully make build pass
authorAmin Bandali <amin@gnu.org>
Thu, 6 Sep 2018 19:49:53 +0000 (15:49 -0400)
committerAmin Bandali <amin@gnu.org>
Thu, 6 Sep 2018 19:49:53 +0000 (15:49 -0400)

No differences found