tree 4fe2dca167e7a166cfec5b9c56c39459b2b790fc
parent 58be41fec7d0dee540044d0fc9ab10a8233c2539
author Tony Mack <tmack@cs.princeton.edu> 1423604832 -0500
committer Tony Mack <tmack@cs.princeton.edu> 1423604832 -0500

workaround docker bug for 3.15 kernel