On Wed, Mar 07, 2018 at 03:34:24PM -0500, Waiman Long wrote: > > % cat msgmni_range > [0, 32768] All that sounds promising but I think you are jumping a few steps ahead of what needs to get done. Let's first sort out the first series well. Luis
On Wed, Mar 07, 2018 at 03:34:24PM -0500, Waiman Long wrote: > > % cat msgmni_range > [0, 32768] All that sounds promising but I think you are jumping a few steps ahead of what needs to get done. Let's first sort out the first series well. Luis