Skip to content

Add the convenience function Header.is_empty#576

Merged
rgrinberg merged 1 commit into
mirage:masterfrom
dinosaure:add-is_empty
Aug 18, 2017
Merged

Add the convenience function Header.is_empty#576
rgrinberg merged 1 commit into
mirage:masterfrom
dinosaure:add-is_empty

Commits

Commits on Aug 18, 2017