Fixes a bad grep pattern caused by dffd6e0

Fixes #233
Dieser Commit ist enthalten in:
KhalilSantana
2022-10-13 16:03:30 -04:00
committet von Zygo Blaxell
Ursprung 587588d53f
Commit 2751905f1d