Incompatibility of inmargin theme with usepdftitle=false option (fix #885)#886
Merged
samcarter merged 1 commit intojosephwright:mainfrom samcarter:inmarginFeb 12, 2024
+17-5
usepdftitle=false option (fix #885)#886