Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upMake merge of 3.9 #1385
Make merge of 3.9 #1385
Conversation
|
Need review vite fait before merge plz |
| @@ -1960,6 +1960,16 @@ msgstr "" | |||
| "donc définir vous-même le bon attribut :attr:`restype` pour pouvoir les " | |||
| "utiliser." | |||
|
|
|||
| #: library/ctypes.rst:None | |||
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
|
comment on peut review un diff de 10.000 lignes ? @JulienPalard c'est vraiment important de mettre à jour le header Creation-Date ? Osef non ? Au moins la moitié du diff c'est ça. D'ailleurs, quasi tous les headers po sont inutiles maintenant avec git... |
Personnellement, je trouve ça utile. Après, tu peux personnaliser ton git-diff comme indiqué dans Contributing ou |
|
Du coup, merge ? |
|
|
Seluj78 commentedAug 24, 2020
No description provided.