diff options
| author | Stéphane Glondu <glondu@debian.org> | 2023-08-06 08:21:28 +0200 |
|---|---|---|
| committer | Stéphane Glondu <glondu@debian.org> | 2023-08-06 08:21:28 +0200 |
| commit | 885e149a27dbb8eafe30395df984a376f2e50162 (patch) | |
| tree | 937ea6562c260a08a279fa7adca24eb36a4d0e1e /META.ppx_deriving.template | |
| parent | 94a1d6ddceadd5c64c41f306ab17622788117099 (diff) | |
| parent | 53b73e15953fbdecef050eb4ded9d8f833b88f4e (diff) | |
Declare fast forward from 5.2.1-3HEADarchive/debian/5.2.1-4master
[dgit --quilt=gbp --overwrite]
Diffstat (limited to 'META.ppx_deriving.template')
0 files changed, 0 insertions, 0 deletions