286d20e18c848fcb585d065621b649fc23ff5330		branch 'master' of https://github.com/reservoirman/SEAL
