Hi David,
sorry, I forgot to report this here. After this came up again, we have an IntList conversion in master for a while:

  
      github.com/pytorch/pytorch
  
  
      
    
  


  pybind conversion for IntList 27



  by t-vi
  on 01:07PM - 08 Sep 18



  1 commits
  changed 4 files
  with 160 additions
  and 98 deletions.


  
  
    
    
  
  


Best regards
Thomas