[Bro-Dev] #728: topic/jsiwek/remove-refined-type

[Bro Tracker]

#728: topic/jsiwek/remove-refined-type
----------------------------+------------------------
  Reporter:  jsiwek         |      Owner:  robin
      Type:  Merge Request  |     Status:  closed
  Priority:  Normal         |  Milestone:  Bro2.0
 Component:  Bro            |    Version:  git/master
Resolution:  fixed          |   Keywords:
----------------------------+------------------------
Changes (by robin):

 * owner:   => robin
 * status:  new => closed
 * resolution:   => fixed


Comment:

 In [c5cee3d5746ed3d5c14348c1f264d19404caa761/broccoli]:
 {{{
 #!CommitTicketReference repository="broccoli"
 revision="c5cee3d5746ed3d5c14348c1f264d19404caa761"
 Merge remote-tracking branch 'origin/topic/jsiwek/remove-refined-type'

 * origin/topic/jsiwek/remove-refined-type:
   Remove record base type list since it's been removed from Bro.

 Closes #728.
 }}}

-- 
Ticket URL: <http://tracker.bro-ids.org/bro/ticket/728#comment:1>
Bro Tracker <http://tracker.bro-ids.org/bro>
Bro Issue Tracker