HomePhorge
Diffusion mediawiki ad6f04695805

Fix a recently changed message
ad6f04695805
Actions

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Fix a recently changed message

It was changed in Ie0dd06f51b1e2b85eef6be377f673a02732ce604,
and it looks like a mistake.

Change-Id: I0cae1aa78e2f3cb3b2a0773cde00e2a5b979ec33

Details

Provenance
Amir E. AharoniAuthored on Sep 25 2024, 12:50 PM

Event Timeline

Amir E. Aharoni <amir.aharoni@mail.huji.ac.il> committed rMWad6f04695805: Fix a recently changed message (authored by Amir E. Aharoni <amir.aharoni@mail.huji.ac.il>).Sep 25 2024, 12:50 PM

Commit No Longer Exists

This commit no longer exists in the repository.