chiark / gitweb /
Merge branch 'patch-2' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Wed, 13 Jul 2016 20:48:33 +0000 (20:48 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Wed, 13 Jul 2016 20:48:33 +0000 (20:48 +0000)
Server manual phrasing matches client. "beta" -> "unstable"

Fixes #193

See merge request !148


Trivial merge