Remove flaper87 from ping list

He is no longer working on Oslo and asked to be removed from the
ping list.

Change-Id: I3acaf3ebee07a7dfc78783f3d6fbe558130e8193
This commit is contained in:
Ben Nemec 2019-03-25 16:55:21 +00:00
parent 31f4e9f02a
commit 0dd7f4a3a2
1 changed files with 0 additions and 1 deletions

View File

@ -26,7 +26,6 @@ NOTIFY_PEPS = [
'dims',
'dougwig',
'e0ne',
'flaper87',
'garyk',
'haypo',
'hberaud',