[m-rev.] for post-commit review: speed up handling of insts

[Paul Bone]

On Sat, Feb 28, 2015 at 09:14:53PM +1100, Zoltan Somogyi wrote:
> 
> 
> On Sat, 28 Feb 2015 20:56:48 +1100, Paul Bone <paul at bone.id.au> wrote:
> > I havn't reviewed the change, but it looks like you forgot to commit
> > inst_user.m  Could you add it?
> 
> Sorry about that. Committing now.
> 

No worries, thanks.


-- 
Paul Bone