From ee3ed3a1b99ebe4c5e387b29565a0a5e35b2d6b3 Mon Sep 17 00:00:00 2001 From: Wout Mertens Date: Thu, 18 Jul 2019 16:13:43 +0200 Subject: [PATCH] add shepherd team MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Domen Kožar --- rfcs/0017-intensional-store.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/rfcs/0017-intensional-store.md b/rfcs/0017-intensional-store.md index b2ce922..a63727e 100644 --- a/rfcs/0017-intensional-store.md +++ b/rfcs/0017-intensional-store.md @@ -3,6 +3,8 @@ feature: intensional_store start-date: 2017-08-11 author: Wout.Mertens@gmail.com co-authors: (find a buddy later to help our with the RFC) +shepherd-team: Shea Levy, Vladimír Čunát, Eelco Dolstra, Nicolas B. Pierron +shepherd-leader: Shea Levy related-issues: (will contain links to implementation PRs) ---