get warning on emacs 28

[MikHulk]

Hi,

After an upgrade from melpa I get this warning about proof general:

Warning (emacs): Proof General compiled for GNU Emacs 27.2 but running on GNU Emacs 28.1: "make clean; make" is recommended. 

I tired to run make in the package-dir but there is no MakeFile here.

I don't know what I am supposed to do or If I should do something about this.

This is the version installed at now: proof-general-20220329.655

[Matafou]

Hi, is this solved?

[monnier]

BTW, is there any particular reason for this warning? I can't think of any reason why PG compiled with Emacs-27 would suffer from any problem when running on Emacs≥28.