Re: doc: add missing "id" attributes to extension packaging page

От

Brar Piening

Тема

Дата

27 марта 2023 г. в 17:05:52

Msg-id

5a07674a-ab36-3924-7e35-52981c6d4882@gmx.de

обсуждение

Ответ на

Re: doc: add missing "id" attributes to extension packaging page (Brar Piening)

Список

pgsql-hackers

Дерево обсуждения

doc: add missing "id" attributes to extension packaging page Ian Lawrence Barwick <barwick@gmail.com> 5 декабря 2022 г. в 01:50:16

Re: doc: add missing "id" attributes to extension packaging page Alvaro Herrera <alvherre@alvh.no-ip.org> 5 декабря 2022 г. в 09:56:31

Re: doc: add missing "id" attributes to extension packaging page Ian Lawrence Barwick <barwick@gmail.com> 6 декабря 2022 г. в 00:55:18

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 6 декабря 2022 г. в 08:25:34

Re: doc: add missing "id" attributes to extension packaging page Alvaro Herrera <alvherre@alvh.no-ip.org> 6 декабря 2022 г. в 08:38:09

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 6 декабря 2022 г. в 17:59:59

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 6 декабря 2022 г. в 18:11:57

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 6 декабря 2022 г. в 18:35:01

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 2 января 2023 г. в 20:53:54

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 3 января 2023 г. в 20:35:09

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 3 января 2023 г. в 22:43:34

Re: doc: add missing "id" attributes to extension packaging page vignesh C <vignesh21@gmail.com> 9 января 2023 г. в 02:31:37

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 9 января 2023 г. в 07:09:02

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 9 января 2023 г. в 15:53:38

Re: doc: add missing "id" attributes to extension packaging page vignesh C <vignesh21@gmail.com> 9 января 2023 г. в 02:38:22

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 9 января 2023 г. в 07:31:22

Re: doc: add missing "id" attributes to extension packaging page Tom Lane <tgl@sss.pgh.pa.us> 9 января 2023 г. в 20:18:18

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 9 января 2023 г. в 20:45:57

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 9 января 2023 г. в 22:28:21

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 10 января 2023 г. в 05:28:10

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 10 января 2023 г. в 06:08:08

Re: doc: add missing "id" attributes to extension packaging page Tom Lane <tgl@sss.pgh.pa.us> 9 января 2023 г. в 22:30:59

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 10 января 2023 г. в 05:12:44

Re: doc: add missing "id" attributes to extension packaging page Tom Lane <tgl@sss.pgh.pa.us> 10 января 2023 г. в 05:22:53

Re: doc: add missing "id" attributes to extension packaging page Peter Eisentraut <peter.eisentraut@enterprisedb.com> 11 января 2023 г. в 14:22:43

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 16 января 2023 г. в 00:01:50

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 16 января 2023 г. в 00:28:24

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 16 января 2023 г. в 17:14:35

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 17 января 2023 г. в 01:05:50

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 17 января 2023 г. в 05:57:23

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 17 января 2023 г. в 13:12:42

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 17 января 2023 г. в 18:13:38

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 17 января 2023 г. в 22:43:13

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 21 марта 2023 г. в 22:16:25

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 23 марта 2023 г. в 03:09:19

Re: doc: add missing "id" attributes to extension packaging page Alvaro Herrera <alvherre@alvh.no-ip.org> 23 марта 2023 г. в 09:35:55

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 23 марта 2023 г. в 13:02:07

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 23 марта 2023 г. в 10:13:49

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 23 марта 2023 г. в 19:08:52

Re: doc: add missing "id" attributes to extension packaging page Peter Eisentraut <peter.eisentraut@enterprisedb.com> 4 апреля 2023 г. в 14:54:23

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 4 апреля 2023 г. в 19:52:31

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 4 апреля 2023 г. в 21:21:42

Re: doc: add missing "id" attributes to extension packaging page Maciek Sakrejda <m.sakrejda@gmail.com> 5 апреля 2023 г. в 22:00:45

Re: doc: add missing "id" attributes to extension packaging page Peter Eisentraut <peter.eisentraut@enterprisedb.com> 6 апреля 2023 г. в 09:06:18

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 6 апреля 2023 г. в 14:19:30

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 6 апреля 2023 г. в 15:05:52

Re: doc: add missing "id" attributes to extension packaging page Peter Eisentraut <peter.eisentraut@enterprisedb.com> 13 апреля 2023 г. в 08:31:43

Re: doc: add missing "id" attributes to extension packaging page Dagfinn Ilmari Mannsåker <ilmari@ilmari.org> 13 апреля 2023 г. в 14:58:03

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 13 апреля 2023 г. в 15:40:09

Re: doc: add missing "id" attributes to extension packaging page Alvaro Herrera <alvherre@alvh.no-ip.org> 14 ноября 2025 г. в 13:59:51

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 15 ноября 2025 г. в 13:53:34

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 13 апреля 2023 г. в 14:01:35

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 13 апреля 2023 г. в 15:53:31

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 14 апреля 2023 г. в 17:41:23

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 27 марта 2023 г. в 17:05:52

Re: doc: add missing "id" attributes to extension packaging page Peter Smith <smithpb2250@gmail.com> 27 марта 2023 г. в 22:11:57

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 28 марта 2023 г. в 10:17:28

RE: doc: add missing "id" attributes to extension packaging page "Hayato Kuroda (Fujitsu)" <kuroda.hayato@fujitsu.com> 29 марта 2023 г. в 04:52:56

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 29 марта 2023 г. в 16:03:48

Re: doc: add missing "id" attributes to extension packaging page Peter Eisentraut <peter.eisentraut@enterprisedb.com> 4 апреля 2023 г. в 14:22:14

RE: doc: add missing "id" attributes to extension packaging page "Hayato Kuroda (Fujitsu)" <kuroda.hayato@fujitsu.com> 30 марта 2023 г. в 08:11:13

Re: doc: add missing "id" attributes to extension packaging page Corey Huinker <corey.huinker@gmail.com> 23 марта 2023 г. в 19:40:45

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 23 марта 2023 г. в 22:31:23

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 23 марта 2023 г. в 22:55:30

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 24 марта 2023 г. в 04:09:25

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 24 марта 2023 г. в 05:48:17

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 24 марта 2023 г. в 05:59:33

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 24 марта 2023 г. в 05:05:06

Re: doc: add missing "id" attributes to extension packaging page Alvaro Herrera <alvherre@alvh.no-ip.org> 24 марта 2023 г. в 09:45:03

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 26 марта 2023 г. в 07:57:17

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 23 марта 2023 г. в 07:24:48

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 23 марта 2023 г. в 12:51:44

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 19 января 2023 г. в 04:05:33

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 18 января 2023 г. в 05:50:40

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 26 января 2023 г. в 20:48:54

Re: doc: add missing "id" attributes to extension packaging page Andres Freund <andres@anarazel.de> 14 февраля 2023 г. в 20:13:18

Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com> 15 февраля 2023 г. в 19:34:37

Re: doc: add missing "id" attributes to extension packaging page Andres Freund <andres@anarazel.de> 15 февраля 2023 г. в 20:49:47

Re: doc: add missing "id" attributes to extension packaging page "Gregory Stark (as CFM)" <stark.cfm@gmail.com> 20 марта 2023 г. в 18:47:24

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 21 марта 2023 г. в 13:57:28

Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de> 6 декабря 2022 г. в 18:16:51

On 23.03.2023 at 20:08, Brar Piening wrote:
> Since the need for ids is starting to grow again (ecb696527c added an
> id to a varlistentry in doc/src/sgml/ref/create_subscription.sgml)
> I've also amended the add-needed-ids patch once again so that the
> build does not fail after applying the make_html_ids_discoverable patch.

New add-needed-ids patch since it was outdated again.

Regards,

Brar

В списке pgsql-hackers по дате отправления

Предыдущее

От: Robert Haas

Дата: 27 марта 2023 г. в 16:55:06

Сообщение: Re: running logical replication as the subscription owner

Следующее

От: Robert Haas

Дата: 27 марта 2023 г. в 17:14:15

Сообщение: Re: running logical replication as the subscription owner