diff options
| author | Alexander Ried <ried@mytum.de> | 2016-09-06 00:09:11 +0200 |
|---|---|---|
| committer | Domen Kožar <domen@dev.si> | 2016-09-06 00:09:11 +0200 |
| commit | 3beacc4dbe24be54dd63258897d69545ffd52e6a (patch) | |
| tree | 297a036d4133520abb7ccb1e610ac26792f02c2c /pkgs/development/python-modules/python-sql | |
| parent | b04cdae902398aa76fb81a0470e18fd527c6ba3d (diff) | |
fstar: remove workaround (#18331)
As the comment indicates this was a workaround that has since been fixed
upstream.
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions