tree d7e77749a6f19d8b46cc9feb8c60e554dfa65942
parent e1b61a065120eb2a6e3cc54e144c40f181d66d7c
author Diggory Hardy <git@dhardy.name> 1559809929 +0100
committer Diggory Hardy <git@dhardy.name> 1559809929 +0100

Adjust inlining

See #817