Higgins' Hornpipe - Tune Origin

[Randy Stein]

I use this tune in lessons and recently a student asked me it's origin. I know it's in the O'Neill Tunebook but not sure beyond that.

Any info is greatly appreciated 

[Don Taylor]

See: https://thesession.org/tunes/2441

[Randy Stein]

59 minutes ago, Don Taylor said:

See: https://thesession.org/tunes/2441

Cool. Thanks