tree 4fe2dca167e7a166cfec5b9c56c39459b2b790fc
parent 4578ae73a3841c88ae132923002510193fb83bfe
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