On Wed, 13 Feb 2019 13:45:43 +0100
Julien Lepiller <julien@lepiller.eu> wrote:

> Ah, thanks for the info! So I guess we don't need to end any phase with 
> #t
> in that package definition, correct?

Correct.