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)
commit89eb7166fee80d334fb33bd56ae0261cf6058f46
tree83aa396811eb720490f418f622baa1a25faedf89
parent0f708f367cb2d7aadfb513fe5af3f3c8571ef389
parent60dcc5527349fb16e43e0b4ed8ef0dfc98862c38
Merge branch 'patch-2' into 'master'

Server manual phrasing matches client. "beta" -> "unstable"

Fixes #193

See merge request !148