Le 28/08/2025 à 11:26, Jean-Marc Lasgouttes a écrit :
Le 28/08/2025 à 11:18, Jean-Pierre Chrétien a écrit :I exchanged privately with Scott, we don not have the same hash code after git pull...I would do: git checkout master git pull
Thanks for the hint, but it does not change anything. I cloned a fresh copy of master, configure leads to beta1. -- Jean-Pierre -- lyx-devel mailing list lyx-devel@lists.lyx.org https://lists.lyx.org/mailman/listinfo/lyx-devel
