Merge pull request #766 from wolfmanjm/upstreamedge
authorJim Morris <morris@wolfman.com>
Tue, 10 Nov 2015 20:10:35 +0000 (12:10 -0800)
committerJim Morris <morris@wolfman.com>
Tue, 10 Nov 2015 20:10:35 +0000 (12:10 -0800)
commitd901843daa426de71a68d2de13fd7ef19e4e926b
tree5fe595879de89f4f414490b76852af29c3ce6c8b
parent46fc7ae41f5da43387a48448d4cdaa7d100f7995
parentc50646d34fcfd3b36253ec18e6caa5839ccd547c
Merge pull request #766 from wolfmanjm/upstreamedge

fix warning for PR #765