Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Assorted fixes for recently introduced issues. #1405

Merged
merged 3 commits into from
Feb 4, 2023
Merged

Assorted fixes for recently introduced issues. #1405

merged 3 commits into from
Feb 4, 2023

Commits on Feb 1, 2023

  1. Assorted fixes for recently introduced issues. 

    Per discussion on opencog#1403, and especially comment
opencog#1403 (comment)
and also
opencog#1403 (comment)
    @linas
    linas committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    93a06fc View commit details
    Browse the repository at this point in the history

  2. Improved comment

    @linas
    linas committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    1a973e1 View commit details
    Browse the repository at this point in the history

  3. Padding, for malloc to use. Hope its enough.

    @linas
    linas committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    7c6c1d6 View commit details
    Browse the repository at this point in the history