chiark / gitweb /
Using WITH-PINNED-OBJECTS to avoid some copying