tree ffbf26fe355307028c8edee24a25ed3e1fab4c88
parent 26a1ea6d66eea9c6412bb10ded3718ad38c4a737
author micafer <micafer1@upv.es> 1604570691 +0100
committer micafer <micafer1@upv.es> 1604570691 +0100

Add ex_get_size_extra_specs function: #1516