Erik Martin-Dorel

I believe this PR is ready and Reynald did a review that has been addressed; @CohenCyril do you think this PR #1118 is ready as well to be squash-merged? **Edit:**...

Hi @DaKnig, thanks for your report! Could you give more details on your configuration? (OS and (if applicable) Linux distribution, `emacs --version`) @hendriktews could you take a look? the reported...

@DaKnig can you also run the following code and paste its output? $ `ls -dl ~/.emacs.d/elpa/proof-general-*`

Hi @Matafou, thanks a lot for working on this! > It seems to work but it is difficult to be sure. OK, I wouldn't have foreseen that fixing #781 would...

Thanks a lot @Matafou ! sorry for replying late > @erikmd this is an important fix imho, is there something to do to update pg distributed packages? It depends on...

FYI @rgrinberg, the issue at stake would be: https://github.com/ocaml/dune/pull/9895#issuecomment-2090421992

Thanks @Matafou for your analysis! > That said we could restart it systematically when switching files. (...) a reason not to do that? Indeed if opening the 2nd file directly...

Just FYI @MNassimM, I added three small commits following our recent discussions on the migration to decompress 1.5.3: * avoiding the use of `De.io_buffer_size` that looks unneeded (and local testing...

Thanks @CJs0800 Your PR has 5 commits, but the first two 37f3e5281688575cfe200419645691d01a445e7d, f383818546255a1053135fb85f08eb20815937c8 are off-topic, can you remove them from your branch? Hint: you can use some [`git rebase -i...

@AltGr just to let you know: * the master branch and this release PR are almost ready; * after merging #602, I slightly refactored this release PR commit so that...