[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: feature/package-vc has been merged
From: |
Stefan Monnier |
Subject: |
Re: feature/package-vc has been merged |
Date: |
Sat, 12 Nov 2022 20:38:14 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
> [Simpler than `package', which needs additional babysitting with
> `(package-refresh-contents)'. Perfect!]
That should not be necessary with `package-install` either.
If you still find it necessary, please report it as a bug (and put me
in the `X-Debbugs-Cc`).
Stefan
- Re: feature/package-vc has been merged, (continued)
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/09
- Re: feature/package-vc has been merged, Rudolf Adamkovič, 2022/11/09
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/10
- Re: feature/package-vc has been merged, Stefan Monnier, 2022/11/10
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/10
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/10
- Re: feature/package-vc has been merged, Rudolf Adamkovič, 2022/11/11
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/12
- Re: feature/package-vc has been merged, Rudolf Adamkovič, 2022/11/12
- Re: feature/package-vc has been merged, Rudolf Adamkovič, 2022/11/12
- Re: feature/package-vc has been merged,
Stefan Monnier <=
- Re: feature/package-vc has been merged, Rudolf Adamkovič, 2022/11/13
- Re: feature/package-vc has been merged, Stefan Kangas, 2022/11/12
- Re: feature/package-vc has been merged, Rudolf Adamkovič, 2022/11/13
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/13
- Re: feature/package-vc has been merged, Rudolf Adamkovič, 2022/11/13
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/14
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/12