[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#62762: 'make' often errors with "Org version mismatch" after pulling
From: |
Eli Zaretskii |
Subject: |
bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code |
Date: |
Mon, 24 Apr 2023 14:21:27 +0300 |
> From: Ihor Radchenko <yantar92@posteo.net>
> Cc: Eli Zaretskii <eliz@gnu.org>, bzg@gnu.org, dmitry@gutov.dev,
> 62762@debbugs.gnu.org
> Date: Sun, 23 Apr 2023 08:55:45 +0000
>
> Stefan Monnier <monnier@iro.umontreal.ca> writes:
>
> >> I think it will be best to install the change in Emacs and then back-port
> >> it to Org. Will it be ok?
> >
> > While you're there: could you rename that var?
> > I think it should be called `org--inhibit-version-check` (no "-p" since
> > it's a var and not a predicate, and more importantly no ill-defined
> > notion of "built-in").
>
> I have nothing against renaming. Feel free to do it together with
> changing to `defvar'.
>
> Let me know when you install the change on Emacs side.
Done.
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, (continued)
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Eli Zaretskii, 2023/04/21
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Ihor Radchenko, 2023/04/21
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Eli Zaretskii, 2023/04/22
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Ihor Radchenko, 2023/04/22
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Eli Zaretskii, 2023/04/22
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Stefan Monnier, 2023/04/22
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Ihor Radchenko, 2023/04/23
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code,
Eli Zaretskii <=
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Ihor Radchenko, 2023/04/24
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Stefan Monnier, 2023/04/22
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Eli Zaretskii, 2023/04/22
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Ihor Radchenko, 2023/04/23
- bug#62762: 'make' often errors with "Org version mismatch" after pulling a new version of the code, Stefan Monnier, 2023/04/30