Re: [Bro-Dev] #660: Initializing a table with a record as an index does not work