From: Jafar Al-Gharaibeh Date: Fri, 10 May 2019 14:49:24 +0000 (-0500) Subject: Merge pull request #4214 from donaldsharp/s_g_channel_deletion X-Git-Tag: base_7.2~370 X-Git-Url: https://git.puffer.fish/?a=commitdiff_plain;h=60f678ae0d02eb33bfe0731e90381fb851c93500;p=mirror%2Ffrr.git Merge pull request #4214 from donaldsharp/s_g_channel_deletion pimd: Deletion of a ifchannel does not immediately mean remove from OIL --- 60f678ae0d02eb33bfe0731e90381fb851c93500