Code

Fix observe id invalidation bug#691

Code

Merged

rtetley merged 1 commit intocoq:maincoq/vscoq:mainfrom maximedenes:fix-invalidation-bugmaximedenes/vscoq:fix-invalidation-bugCopy head branch name to clipboardNov 22, 2023

+33-6

Commits

Commits on Nov 21, 2023

• Fix observe id invalidation bug

  Show description for baf0f6e
  maximedenes

  committed
  baf0f6e

  Copy full SHA for baf0f6e