[Bro-Dev] [Bro-Commits] [git/bro] topic/jsiwek/remove-refined-type: Remove dead code related to record type inheritance. (436be4e)
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 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