Revision 94d89a48506bba50c7b7e969ee0acfe14a7b8545

Committed on 08/12/2016 5:56 am by BornaP <[email protected]> [GitHub Diff]

Reduce header size