On 07/04/2019 10:17, Pavel Sanda wrote:
On Sat, Apr 06, 2019 at 09:20:22AM +0200, Daniel wrote:
Note that "Non-aggregation and existential risk" is another document I
worked on in between and is *not* related to the bug. All other documents
are part of the larger document.
So reiterating last question:
- is this file set as master to some already opened files which are being
compiled?
- do you close this file while the compilation still goes on?
No to both. The problem is independent of this file.
Daniel
