imoseyon/leanKernel-galaxy-nexus — comment on commit 91615a1c43898ecb5bfc9a4473cb97f5fa73e8dd
File:  line 0
By franciscofranco:

This looks useful, thanks.