Note that #87 is trivial now
authorFabian Keil <fk@fabiankeil.de>
Mon, 28 Dec 2020 21:46:55 +0000 (22:46 +0100)
committerFabian Keil <fk@fabiankeil.de>
Sat, 2 Jan 2021 12:55:03 +0000 (13:55 +0100)
commitb834a2860cef555c4b62dc22360dd987018b30df
tree715ed2c8b587d853d376347b9e037ac83df007d3
parentdddb382bfe6523ddc2fb37564a0a51e2786e4429
Note that #87 is trivial now
TODO