Merge branch 'wip/gc/misc-rts' into wip/gc/preparation
authorBen Gamari <ben@smart-cactus.org>
Thu, 16 May 2019 16:31:34 +0000 (12:31 -0400)
committerBen Gamari <ben@smart-cactus.org>
Thu, 16 May 2019 16:31:34 +0000 (12:31 -0400)

Trivial merge