From: Luca Heltai <luca.heltai@sissa.it>
Date: Tue, 8 Oct 2024 16:32:10 +0000 (+0200)
Subject: Merge pull request #17751 from peterrum/set_scientific_int
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=23bf72c0c229363044544977a039f7753c2c24c1;p=dealii.git

Merge pull request #17751 from peterrum/set_scientific_int

TableHandler::set_scientific(): fix int
---

23bf72c0c229363044544977a039f7753c2c24c1