Hello, On Thu 14 Jul 2022 at 02:23PM +02, Johannes Schauer Marin Rodrigues wrote:
> Quoting Steve McIntyre (2022-07-14 13:54:52) >> And I see you uploaded ~immediately - why even bother with an ITP? > > I did that quite a few times in the past as well. Is there a rule of how long > I > have to wait with my upload to NEW after filing the ITP? No, in fact they're not even required. The Haskell team doesn't post them, for example. -- Sean Whitton
