tree 849bc6501f1f2bfc7284b33c1678ed5b91608caf
parent b4900ef220c8d69d368103f2401d41380804a1c7
author Nabin Hait <nabinhait@gmail.com> 1645610346 +0530
committer Nabin Hait <nabinhait@gmail.com> 1649659993 +0530

fix: Get exemptions from declaration only if proof not submitted