Antonio Terceiro Tue, 18 Aug 2020 05:45:42 -0700
close 966929 thanks This was indeed a problem with sphinx, as I can't reproduce it anymore.
