On Tue, Sep 01, 2020 at 10:27:31AM +0000, Georgios wrote:
> On Tuesday, 1 September 2020 07:41, Michael Paquier <michael@paquier.xyz> wrote:
>> Adding \dE as there are no foreign tables does not make much sense,
>> and also I wondered why \dt+ was not added.
>>
>> Does the attached look correct to you?
>
> You have my :+1:
OK, applied then.
--
Michael