[Bro-Dev] [Bro-Commits] [git/bro] topic/jsiwek/remove-refined-type: Remove dead code related to record type inheritance. (436be4e)

Robin Sommer robin at icir.org
Mon Dec 19 13:21:51 PST 2011


On Mon, Dec 19, 2011 at 13:21 -0800, I wrote:

> This looks like it may need a Broccoli change as well.

Never mind, saw your follow-up change now.

Robin

-- 
Robin Sommer * Phone +1 (510) 722-6541 * robin at icir.org
ICSI/LBNL    * Fax   +1 (510) 666-2956 *   www.icir.org


More information about the bro-dev mailing list