Revision 09d1a169c9379819ade572d061b86afecb5d63cc

Committed on 28/10/2020 1:30 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Revert "Merge pull request #30 from netgen/NGSTACK-427"

This reverts commit 8bb75346b1b53760f525e5dcd36a06c5eaa9810a, reversing
changes made to 6f61efcc3530ce23ac3fc81474d52f079d23b55d.