[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: patch: partition vs filesystem
|
From: |
Marco van Hulten |
|
Subject: |
Re: patch: partition vs filesystem |
|
Date: |
Fri, 17 Nov 2017 22:02:21 +0100 |
Ludovic—
Je 17 nov 21:55 transskribita far Ludovic Courtès:
> Marco van Hulten <address@hidden> skribis:
>
> > Patch for documentation attached.
> >
> > terminology: replaced partition with filesystem where needed
>
> I added a commit log and applied it on your behalf. Thank you!
No problem, thanks for applying!
I tried to push it myself to the repos, but I had no access, as I
expected; which is probably sane at this point.
—Marco