Subject: [bug#41259] .gitignore ?

From: Vincent Legoll <[email-masked]>
Date: Fri, 15 May 2020 18:25:52 +0200

Hello Tobias,

shouldn't your patch also add: /etc/gnu-store.mount
to .gitignore ?

I'm doing the tests now, stay tuned for the results.

-- 
Vincent Legoll