[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
feature/package-vc has been merged
From: |
Philip Kaludercic |
Subject: |
feature/package-vc has been merged |
Date: |
Fri, 04 Nov 2022 18:01:09 +0000 |
Stefan Monnier <monnier@iro.umontreal.ca> writes:
>> OK, I've merged master into feature/package+vc, resolving all conflicts
>> and would be prepared to merge feature/package+vc if there are no
>> further objections.
>
> No objections on my side,
I have merged the branch onto master, so if anyone wants to fix,
add/remove or improve anything, feel free to do so.
- feature/package-vc has been merged,
Philip Kaludercic <=
- Re: feature/package-vc has been merged, Stefan Monnier, 2022/11/04
- Re: feature/package-vc has been merged, Eli Zaretskii, 2022/11/05
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/05
- Re: feature/package-vc has been merged, Eli Zaretskii, 2022/11/05
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/06
- Re: feature/package-vc has been merged, Eli Zaretskii, 2022/11/06
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/06
- Re: feature/package-vc has been merged, Eli Zaretskii, 2022/11/06
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/06
- Re: feature/package-vc has been merged, Eli Zaretskii, 2022/11/06