chiark / gitweb /
admin.scala: Make `Connection' be its own publisher type.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 9 Jun 2018 12:21:29 +0000 (13:21 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 9 Jun 2018 13:00:09 +0000 (14:00 +0100)
commitfd8dac1452773b24b9f7a5d8d9e3d5cf1abdcf2f
tree6bab89c5ff9b8cc4c58350bbb0aa2907d38bc06a
parent5c2b1515dd14827055bd5c6ad13462b5118c40a9
admin.scala: Make `Connection' be its own publisher type.
admin.scala