re: #624 reine.de.tout

When was that and how did I miss it?